default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ICST 2025: Napoli, Italy
- IEEE Conference on Software Testing, Verification and Validation, ICST 2025, Napoli, Italy, March 31 - April 4, 2025. IEEE 2025, ISBN 979-8-3315-0814-2
- Ao Li
, Rohan Padhye, Vyas Sekar:
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller. 1-12 - Tim Jannik Schmidt, Sabrina Böhm, Sebastian Krieter, Thomas Thüm, Mathieu Acher:
Poster: Quantification of Feature-Interaction Masking in JHipster. 1-4 - Negar Hashemi, Amjed Tahir, Shawn Rasheed, August Shi, Rachel Blagojevic:
Detecting and Evaluating Order-Dependent Flaky Tests in JavaScript. 13-24 - Tobias Heineken, Michael Philippsen:
The Impact of List Reduction for Language Agnostic Test Case Reducers. 25-35 - Laboni Sarker, Tevfik Bultan:
Hybrid Equivalence/Non-Equivalence Testing. 36-46 - Matias Duran, Thomas Laurent, Ellen Rushe, Anthony Ventresque:
Metamorphic Testing for Pose Estimation Systems. 47-57 - Sarah Canto Hyatt, Kyle Dewey:
Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information. 58-68 - Manuel Carrasco, Cristian Cadar, Alastair F. Donaldson:
Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing. 69-79 - Shahin Honarvar, Mark van der Wilk, Alastair F. Donaldson:
Turbulence: Systematically and Automatically Testing Instruction-Tuned Large Language Models for Code. 80-91 - Yu Pei, Jeongju Sohn, Mike Papadakis:
An Empirical Study of Web Flaky Tests: Understanding and Unveiling DOM Event Interaction Challenges. 92-102 - Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik:
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities. 103-114 - Yue Jiang, Xiaobo Xiang, Qingli Guo, Qi Gong, Xiaorui Gong:
ADGE: Automated Directed GUI Explorer for Android Applications. 115-126 - Feng Chen, Yuxin Ke, Xin Liu, Qingjie Wei:
Multi-Project Just-in-Time Software Defect Prediction Based on Multi-Task Learning for Mobile Applications. 127-137 - Lena Gregor, Anja Hentschel, Leon Kastner, Alexander Pretschner:
A Taxonomy of Integration-Relevant Faults for Microservice Testing. 138-149 - Stefano Carlo Lambertenghi, Hannes Leonhard, Andrea Stocco:
Benchmarking Image Perturbations for Testing Automated Driving Assistance Systems. 150-161 - Matteo Biagiola, Gianluca Ghislotti, Paolo Tonella:
Improving the Readability of Automatically Generated Tests Using Large Language Models. 162-173 - Maryam, Matteo Biagiola, Andrea Stocco, Vincenzo Riccio:
Benchmarking Generative AI Models for Deep Learning Test Input Generation. 174-185 - Xiaoxiao Gan, Huayu Liang, Chris Brown:
Challenges, Strategies, and Impacts: A Qualitative Study on UI Testing in CI/CD Processes from GitHub Developers' Perspectives. 186-197 - Sabrina Böhm, Tim Jannik Schmidt, Sebastian Krieter, Tobias Pett, Thomas Thüm, Malte Lochau:
Coverage Metrics for T-Wise Feature Interactions. 198-209 - Thomas Bailey, Cristian Cadar:
Code, Test, and Coverage Evolution in Mature Software Systems: Changes Over the Past Decade. 210-220 - Azat Abdullin, Pouria Derakhshanfar, Annibale Panichella:
Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation. 221-232 - Leonhard Applis, Matthías Páll Gissurarson, Annibale Panichella:
Suspicious Types and Bad Neighborhoods: Filtering Spectra with Compiler Information. 233-243 - Patric Feldmeier, Katrin Schmelz, Gordon Fraser:
Many-Objective Neuroevolution for Testing Games. 244-254 - Valerio Terragni, Shing-Chi Cheung:
Differential Testing of Concurrent Classes. 255-266 - Lauren Lyons, Ali Ghanbari:
On Accelerating Deep Neural Network Mutation Analysis by Neuron and Mutant Clustering. 267-278 - Shaker Mahmud Khandaker, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi:
AugmenTest: Enhancing Tests with LLM-Driven Oracles. 279-289 - Daniel Rodríguez-Cárdenas, Safwat Ali Khan, Prianka Mandal, Adwait Nadkarni, Kevin Moran, Denys Poshyvanyk:
Testing Practices, Challenges, and Developer Perspectives in Open-Source IoT Platforms. 290-301 - Suhwan Ji, Sanghwa Lee, Changsup Lee, Yo-Sub Han, Hyeonseung Im:
Impact of Large Language Models of Code on Fault Localization. 302-313 - Yi Wen Heng, Zeyang Ma, Zhenhao Li, Dong Jae Kim, Tse-Hsun Chen:
Benchmarking Open-Source Large Language Models for Log Level Suggestion. 314-325 - Zhuolin Xu, Qiushi Li, Shin Hwei Tan:
Understanding and Enhancing Attribute Prioritization in Fixing Web UI Tests with LLMs. 326-337 - Simon Hundsdorfer, Roland Würsching, Alexander Pretschner:
RustyRTS: Regression Test Selection for Rust. 338-348 - Riddhi More, Jeremy S. Bradbury:
An Analysis of LLM Fine-Tuning and Few-Shot Learning for Flaky Test Detection and Classification. 349-359 - Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi:
On the Energy Consumption of Test Generation. 360-370 - Daniel Schwendner, Maximilian Jungwirth, Martin Gruber, Martin Knoche, Daniel Merget, Gordon Fraser:
Practical Pipeline-Aware Regression Test Optimization for Continuous Integration. 371-381 - Andrea Arcuri, Alexander Poth, Olsi Rrjolli:
Introducing Black-Box Fuzz Testing for REST APIs in Industry: Challenges and Solutions. 382-393 - Juyeon Yoon, Seah Kim, Somin Kim, Sukchul Jung, Shin Yoo:
Integrating LLM-Based Text Generation with Dynamic Context Retrieval for GUI Testing. 394-405 - Chengjie Lu, Jiahui Wu, Shaukat Ali, Mikkel Labori Olsen:
Assessing the Uncertainty and Robustness of the Laptop Refurbishing Software. 406-416 - Neetha Jambigi, Bartosz Bogacz, Moritz Mueller, Thomas Bach, Michael Felderer:
Fault Localization via Fine-Tuning Large Language Models with Mutation Generated Stack Traces. 417-428 - Erblin Isaku, Christoph Laaber, Hassan Sartaj, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård:
LLMs in the Heart of Differential Testing: A Case Study on a Medical Rule Engine. 429-440 - Karnbongkot Boonriong, Stefan Zetzsche, Alastair F. Donaldson:
Compiler Fuzzing in Continuous Integration: A Case Study on Dafny. 441-452 - Diogo Buarque Franzosi, Emil Alégroth, Maycel Isaac:
LLM-Based Labelling of Recorded Automated GUI-Based Test Cases. 453-463 - Selma Grosse, Adam Molin, Dejan Nickovic, Alessio Gambi, Cristinel Mateis:
Taming Uncertainty in Critical Scenario Generation for Testing Automated Driving Systems. 464-475 - Md. Asif Khan, Akramul Azim, Ramiro Liscano, Kevin Smith, Yee-Kang Chang, Gkerta Seferi, Qasim Tauseef:
ML-Based Test Case Prioritization: A Research and Production Perspective in CI Environments. 476-486 - Stevan Tomic, Emil Alégroth, Maycel Isaac:
Evaluation of the Choice of LLM in a Multi-Agent Solution for GUI-Test Generation. 487-497 - Jose Luis de la Vara, Juan Manuel Morote, Clara Ayora, Giovanni Giachetti, Luis Alonso, Roy Mendieta, David Muñoz, Ricardo Ruiz Nolasco, Antonio González:
Early V&V in Knowledge-Centric Systems Engineering: Advances and Benefits in Practice. 498-509 - Avi Kondareddy, Sushmita Azad, Abhayendra Singh, Tim A. D. Henderson:
Speculative Testing at Google with Transition Prediction. 510-521 - Jeongki Son, Gabin An, Jingun Hong, Shin Yoo:
Evaluating Machine Learning-Based Test Case Prioritization in the Real World: An Experiment with SAP HANA. 522-532 - Gabriel Benoit, François Georis, Géry Debongnie, Benoît Vanderose, Xavier Devroey:
FuzzE, Development of a Fuzzing Approach for Odoo's Tours Integration Testing Plateform. 533-541 - Jan Corazza, Ivan Gavran, Gabriela Moreira, Daniel Neider:
Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs. 542-552 - Alexis L. Marsh, Myra B. Cohen, Robert W. Cottingham:
A Tale from the Trenches: Applying Metamorphic and Differential Testing to Bioinformatics Software. 553-564 - Daniele Gorla, Shivam Kumar, Pietro Nicolaus Roselli Lorenzini, Alireza Alipourfaz:
CubeTesterAI: Automated JUnit Test Generation Using the LLaMA Model. 565-576 - Dario Olianas, Maurizio Leotta, Filippo Ricca:
Leveraging Large Language Models for Explicit Wait Management in End-to-End Web Testing. 577-581 - Attila Szatmári, Aondowase James Orban, Tamás Gergely:
Weighted Call Frequency-Based Fault Localization. 582-586 - Jeremy S. Bradbury, Riddhi More:
Addressing Data Leakage in HumanEval Using Combinatorial Test Design. 587-591 - Jens Dietrich, Tim White, Valerio Terragni, Behnaz Hassanshahi:
Towards Cross-Build Differential Testing. 592-596 - Zacharie Chenail-Larcher, Jean Baptiste Minani, Naouel Moha:
Test Generation from Use Case Specifications for IoT Systems: Custom, LLM-Based, and Hybrid Approaches. 597-602 - Mostafa Jangali, Kundi Yao, Yiming Tang, Diego Elias Costa, Weiyi Shang:
Batch Execution of Microbenchmarks for Efficient Performance Testing. 603-607 - Donggyu Kim, Taemin Kim, Jiho Shin, Song Wang, Heeyoul Choi, Jaechang Nam:
Pre-trained Models for Bytecode Instructions. 608-612 - Carolin E. Brandt, Aurora Ramírez:
Towards Refined Code Coverage: A New Predictive Problem in Software Testing. 613-617 - Seongbin Kim, Sechang Jang, Jindae Kim, Jaechang Nam:
EnCus: Customizing Search Space for Automated Program Repair. 618-622 - Attila Szatmári:
Harnessing Test Call Structures for Improved Fault Localization Effectiveness. 623-628 - Mitchell Olsthoorn:
Improving the Comprehensibility of Generated Test Suites Using Test Case Clustering. 629-633 - Matthias Hamburg, Adam Roman:
Black-Box Testing for Practitioners: A Case of the New ISTQB Test Analyst Syllabus. 634-645 - Ricardo Brancas, Vasco Manquinho, Ruben Martins:
Combining Logic and Large Language Models for Assisted Debugging and Repair of ASP Programs. 646-657 - Andreea Galbin-Nasui, Andreea Vescan:
Teaching Bug Advocacy Through Flipped Classroom. 658-667 - Adina Moldovan, Oana Casapu, Andreea Vescan:
Experience Report on Using Experiential Learning to Facilitate Learning of Bug Investigation Steps. 668-678 - Arthur Rump, Vadim Zaytsev, Angelika Mader:
Requirements for an Automated Assessment Tool for Learning Programming by Doing. 679-686 - Valerio Terragni, Nasser Giacaman:
A System-Level Testing Framework for Automated Assessment of Programming Assignments Allowing Students Object-Oriented Design Freedom. 687-698 - Ruizhen Gu, José Miguel Rojas, Donghwan Shin:
Can Test Generation and Program Repair Inform Automated Assessment of Programming Projects? 699-710 - Maria Couto, Breno Miranda, Kiev Gama:
A Tool-Assisted Training Approach for Empowering Localization and Internationalization Testing Proficiency. 711-720 - Monika Rani Golla, Sangharatna Godboley:
Poster: Empirical Evaluation of SC-MCC Meta Program Efficiency Using Dynamic Symbolic Execution Engine. 721-724 - Monika Rani Golla, Sangharatna Godboley, Avijit Das, P. Radha Krishna:
Poster: Reporting Unique-Cause MC/DC Score Using Formal Verification. 725-728 - Rudolf Ramler, Philipp Straubinger, Reinhold Plösch, Dietmar Winkler:
Poster: Unit Testing Past vs. Present: Examining LLMs' Impact on Defect Detection and Efficiency. 733-736 - Wishaal Kanhai, Ivar van Loon, Yuraj Mangalgi, Thijs Van der Valk, Lucas Witte, Annibale Panichella, Mitchell Olsthoorn, Burcu Kulahcioglu Ozkan:
Rocket: A System-Level Fuzz-Testing Framework for the XRPL Consensus Algorithm. 737-741 - Max Hort, Leon Moonen:
Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from Codeforces. 742-746 - Sergio Di Meglio, Luigi Libero Lucio Starace, Sergio Di Martino:
E2E-Loader: A Tool to Generate Performance Tests from End-to-End GUI-Level Tests. 747-751 - Mario Fuksa, Sandro Speth, Steffen Becker:
ViMoTest: A Tool to Specify ViewModel-Based GUI Test Scenarios Using Projectional Editing. 752-756 - Davide Corradini, Michele Pasqua, Mariano Ceccato:
RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools. 757-761 - Antonio Trovato, Luca Traini, Federico Di Menna, Dario Di Nucci:
AMBER: AI-Enabled Java Microbenchmark Harness. 762-766 - Chrysanthi Papamichail, David Stark, Alessio Gambi:
Scenario-Based Testing with BeamNG.tech (Hands-On Training). 767-768 - Juan Pablo Sandoval Alcocer, Leonel Merino, Alison Fernandez-Blanco, William Ravelo-Méndez, Camilo Escobar-Velásquez, Mario Linares-Vásquez:
A Developer's Guide to Building and Testing Accessible Mobile Apps. 769-770 - Andréa Doreste:
Adversarial Testing with Reinforcement Learning. 771-773 - Ali Güllü:
A Method for Systematically Assessing the Safety of Automated Driving Systems via Simulation. 774-775 - Jiahui Wu:
Uncertainty-Aware Autonomous Driving System Testing with Large Language Models. 776-778 - Negar Hashemi:
Identifying and Mitigating Flaky Tests in JavaScript. 779-781 - Sergio Di Meglio:
End-to-End Testing in Web Environments: Addressing Practical Challenges. 782-784 - Safwat Ali Khan:
Advancing Mobile UI Testing by Learning Screen Usage Semantics. 785-787 - Aondowase James Orban:
Enhancing Spectrum-Based Fault Localization in the Context of Reactive Programming. 788-790 - Homayoun Safarpour:
Toward Tool-Agnostic Guidelines for Expert Debugging Strategies. 791-793 - Lena Gregor:
On Service-to-Service Integration Testing in Microservice Systems. 794-796 - Shahin Honarvar:
Evaluating Correct-Consistency and Robustness in Code-Generating LLMs. 797-800 - Christian Birchler, Stefan Klikovits, Mattia Fazzini, Sebastiano Panichella:
ICST Tool Competition 2025 - Self-Driving Car Testing Track. 801-804 - Paolo Arcaini, Ahmet Cetinkaya:
DETOUR at the ICST 2025 Tool Competition - Self-Driving Car Testing Track. 805-806 - Antony Bartlett, Cynthia C. S. Liem, Annibale Panichella:
DRVN at the ICST 2025 Tool Competition - Self-Driving Car Testing Track. 807-808 - Ali Güllü, Faiz Ali Shah, Dietmar Pfahl:
ITS4SDC at the ICST 2025 Tool Competition - Self-Driving Car Testing Track. 809-810 - Fasih Munir Malik, Sajad Mazraeh Khatiri:
CertiFail at the ICST 2025 Tool Competition - Self-Driving Car Testing Track. 811-812 - Prakash Aryan, Sajad Khatiri:
NN-SDCTest at the ICST 2025 Tool Competition - Self-Driving Car Testing Track. 813-814 - Sajad Khatiri, Tahereh Zohdinasab, Prasun Saurabh, Dmytro Humeniuk, Sebastiano Panichella:
ICST Tool Competition 2025 - UAV Testing Track. 815-818 - Pietro Lechthaler, Davide Prandi, Fitsum Meshesha Kifetew, Angelo Susi:
Evolv-1 at the ICST 2025 Tool Competition - UAV Testing Track. 819-820 - Ali Javadi, Christian Birchler:
TGen-UQ at the ICST 2025 Tool Competition - UAV Testing Track. 821-822 - Shuncheng Tang, Zhenya Zhang, Ahmet Cetinkaya, Paolo Arcaini:
PALM at the ICST 2025 Tool Competition - UAV Testing Track. 823-824
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 23:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
