ICST 2025
2025 IEEE Conference on Software Testing, Verification and Validation (ICST)
Powered by
Conference Publishing Consulting

2025 IEEE Conference on Software Testing, Verification and Validation (ICST), March 31 – April 4, 2025, Naples, Italy

ICST 2025 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P R S T V W X Y Z

Abdullin, Azat ICST '25: "Test Wars: A Comparative Study ..." Article: icst25main-p135-p doi:
Acher, Mathieu ICST '25: "Poster: Quantification of ..." Article: icst25posters-id198-p doi:
Alcocer, Juan Pablo Sandoval ICST '25: "A Developer’s Guide to Building ..." Article: icst25tut-ptutorial97-p doi:
Alégroth, Emil ICST '25: "LLM-Based Labelling of Recorded ..." Article: icst25ind-id20-p doi: ICST '25: "Evaluation of the Choice of ..." Article: icst25ind-id21-p doi:
Ali, Shaukat ICST '25: "Assessing the Uncertainty ..." Article: icst25ind-id24-p doi: ICST '25: "LLMs in the Heart of Differential ..." Article: icst25ind-id16-p doi:
Alipourfaz, Alireza ICST '25: "CubeTesterAI: Automated JUnit ..." Article: icst25ind-id115-p doi:
Alonso, Luis ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Alur, Rajeev ICST '25: "Understanding the Effectiveness ..." Article: icst25main-p64-p doi:
An, Gabin ICST '25: "Evaluating Machine Learning-Based ..." Article: icst25ind-id55-p doi:
Applis, Leonhard ICST '25: "Suspicious Types and Bad Neighborhoods: ..." Article: icst25main-p142-p doi:
Arcaini, Paolo ICST '25: "DETOUR at the ICST 2025 Tool ..." Article: icst25compsdc-psdc-tool1-p doi: ICST '25: "PALM at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool3-p doi:
Arcuri, Andrea ICST '25: "Introducing Black-Box Fuzz ..." Article: icst25ind-id41-p doi:
Aryana, Prakash ICST '25: "NN-SDCTest at the ICST 2025 ..." Article: icst25compsdc-psdc-tool6-p doi:
Ayora, Clara ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Azad, Sushmita ICST '25: "Speculative Testing at Google ..." Article: icst25ind-id45-p doi:
Azim, Akramul ICST '25: "ML-Based Test Case Prioritization: ..." Article: icst25ind-id40-p doi:
Bach, Thomas ICST '25: "Fault Localization via Fine-tuning ..." Article: icst25ind-id7-p doi:
Bailey, Thomas ICST '25: "Code, Test, and Coverage Evolution ..." Article: icst25main-p101-p doi:
Bartlett, Antony ICST '25: "DRVN at the ICST 2025 Tool ..." Article: icst25compsdc-psdc-tool2-p doi:
Becker, Steffen ICST '25: "ViMoTest: A Tool to Specify ..." Article: icst25tool-id98-p doi:
Benoit, Gabriel ICST '25: "FuzzE, Development of a Fuzzing ..." Article: icst25ind-id14-p doi:
Biagiola, Matteo ICST '25: "Improving the Readability ..." Article: icst25main-p85-p doi: ICST '25: "Benchmarking Generative AI ..." Article: icst25main-p86-p doi:
Birchler, Christian ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compsdc-psdc-tool5-p doi: ICST '25: "TGen-UQ at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool2-p doi:
Blagojevic, Rachel ICST '25: "Detecting and Evaluating Order-Dependent ..." Article: icst25main-p20-p doi:
Bogacz, Bartosz ICST '25: "Fault Localization via Fine-tuning ..." Article: icst25ind-id7-p doi:
Böhm, Sabrina ICST '25: "Coverage Metrics for T-Wise ..." Article: icst25main-p100-p doi: ICST '25: "Poster: Quantification of ..." Article: icst25posters-id198-p doi:
Boonriong, Karnbongkot ICST '25: "Compiler Fuzzing in Continuous ..." Article: icst25ind-id38-p doi:
Bradbury, Jeremy S. ICST '25: "An Analysis of LLM Fine-Tuning ..." Article: icst25main-p266-p doi: ICST '25: "Addressing Data Leakage in ..." Article: icst25short-id67-p doi:
Brancas, Ricardo ICST '25: "Combining Logic and Large ..." Article: icst25edu-p44edu-p doi:
Brandt, Carolin ICST '25: "Towards Refined Code Coverage: ..." Article: icst25short-id65-p doi:
Brown, Chris ICST '25: "Challenges, Strategies, and ..." Article: icst25main-p89-p doi:
Bultan, Tevfik ICST '25: "Hybrid Equivalence/Non-equivalence ..." Article: icst25main-p26-p doi:
Cadar, Cristian ICST '25: "Code, Test, and Coverage Evolution ..." Article: icst25main-p101-p doi: ICST '25: "Scalable SMT Sampling for ..." Article: icst25main-p56-p doi:
Canto Hyatt, Sarah ICST '25: "Mutation-Based Fuzzing of ..." Article: icst25main-p40-p doi:
Carrasco, Manuel ICST '25: "Scalable SMT Sampling for ..." Article: icst25main-p56-p doi:
Casapu, Oana ICST '25: "Experience Report on using ..." Article: icst25edu-p50edu-p doi:
Ceccato, Mariano ICST '25: "RESTgym: A Flexible Infrastructure ..." Article: icst25tool-id110-p doi:
Cetinkaya, Ahmet ICST '25: "DETOUR at the ICST 2025 Tool ..." Article: icst25compsdc-psdc-tool1-p doi: ICST '25: "PALM at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool3-p doi:
Chang, Yee-Kang ICST '25: "ML-Based Test Case Prioritization: ..." Article: icst25ind-id40-p doi:
Chen, Feng ICST '25: "Multi-project Just-in-Time ..." Article: icst25main-p69-p doi:
Chen, Tse-Hsun (Peter) ICST '25: "Benchmarking Open-Source Large ..." Article: icst25main-p221-p doi:
Chenail-Larcher, Zacharie ICST '25: "Test Generation from Use Case ..." Article: icst25short-id76-p doi:
Cheung, Shing-Chi ICST '25: "Differential Testing of Concurrent ..." Article: icst25main-p153-p doi:
Choi, Heeyoul ICST '25: "Pre-trained Models for Bytecode ..." Article: icst25short-id86-p doi:
Cohen, Myra B. ICST '25: "A Tale from the Trenches: ..." Article: icst25ind-id37-p doi:
Corazza, Jan ICST '25: "Accessible Smart Contracts ..." Article: icst25ind-id28-p doi:
Corradini, Davide ICST '25: "RESTgym: A Flexible Infrastructure ..." Article: icst25tool-id110-p doi:
Costa, Diego Elias ICST '25: "Batch Execution of Microbenchmarks ..." Article: icst25short-id77-p doi:
Cottingham, Robert ICST '25: "A Tale from the Trenches: ..." Article: icst25ind-id37-p doi:
Couto, Maria ICST '25: "A Tool-Assisted Training Approach ..." Article: icst25edu-p54edu-p doi:
Das, Avijit ICST '25: "Poster: Reporting Unique-Cause ..." Article: icst25posters-id197-p doi:
Debongnie, Géry ICST '25: "FuzzE, Development of a Fuzzing ..." Article: icst25ind-id14-p doi:
Derakhshanfar, Pouria ICST '25: "Test Wars: A Comparative Study ..." Article: icst25main-p135-p doi:
Devroey, Xavier ICST '25: "FuzzE, Development of a Fuzzing ..." Article: icst25ind-id14-p doi:
Dewey, Kyle ICST '25: "Mutation-Based Fuzzing of ..." Article: icst25main-p40-p doi:
Dietrich, Jens ICST '25: "Towards Cross-Build Differential ..." Article: icst25short-id73-p doi:
Di Martino, Sergio ICST '25: "E2E-Loader: A Tool to Generate ..." Article: icst25tool-id109-p doi:
Di Meglio, Sergio ICST '25: "End-to-End Testing in Web ..." Article: icst25doc-id122-p doi: ICST '25: "E2E-Loader: A Tool to Generate ..." Article: icst25tool-id109-p doi:
Di Menna, Federico ICST '25: "AMBER: AI-Enabled Java Microbenchmark ..." Article: icst25tool-id112-p doi:
Di Nucci, Dario ICST '25: "AMBER: AI-Enabled Java Microbenchmark ..." Article: icst25tool-id112-p doi:
Donaldson, Alastair F. ICST '25: "Compiler Fuzzing in Continuous ..." Article: icst25ind-id38-p doi: ICST '25: "Scalable SMT Sampling for ..." Article: icst25main-p56-p doi: ICST '25: "Turbulence: Systematically ..." Article: icst25main-p59-p doi:
Doreste, Andrea ICST '25: "Adversarial Testing with Reinforcement ..." Article: icst25doc-id121-p doi:
Duran, Matias ICST '25: "Metamorphic Testing for Pose ..." Article: icst25main-p39-p doi:
Dutta, Saikat ICST '25: "Understanding the Effectiveness ..." Article: icst25main-p64-p doi:
Escobar-Velásquez, Camilo ICST '25: "A Developer’s Guide to Building ..." Article: icst25tut-ptutorial97-p doi:
Fazzini, Mattia ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compsdc-psdc-tool5-p doi:
Felderer, Michael ICST '25: "Fault Localization via Fine-tuning ..." Article: icst25ind-id7-p doi:
Feldmeier, Patric ICST '25: "Many-Objective Neuroevolution ..." Article: icst25main-p144-p doi:
Fernandez-Blanco, Alison ICST '25: "A Developer’s Guide to Building ..." Article: icst25tut-ptutorial97-p doi:
Franzosi, Diogo Buarque ICST '25: "LLM-Based Labelling of Recorded ..." Article: icst25ind-id20-p doi:
Fraser, Gordon ICST '25: "Practical Pipeline-Aware Regression ..." Article: icst25ind-id23-p doi: ICST '25: "Many-Objective Neuroevolution ..." Article: icst25main-p144-p doi:
Fuksa, Mario ICST '25: "ViMoTest: A Tool to Specify ..." Article: icst25tool-id98-p doi:
Galbin-Nasui, Andreea ICST '25: "Teaching Bug Advocacy through ..." Article: icst25edu-p49edu-p doi:
Gama, Kiev ICST '25: "A Tool-Assisted Training Approach ..." Article: icst25edu-p54edu-p doi:
Gambi, Alessio ICST '25: "Taming Uncertainty in Critical ..." Article: icst25ind-id39-p doi: ICST '25: "Scenario-Based Testing with ..." Article: icst25tut-ptutorial96-p doi:
Gan, Xiaoxiao ICST '25: "Challenges, Strategies, and ..." Article: icst25main-p89-p doi:
Gavran, Ivan ICST '25: "Accessible Smart Contracts ..." Article: icst25ind-id28-p doi:
Georis, François ICST '25: "FuzzE, Development of a Fuzzing ..." Article: icst25ind-id14-p doi:
Gergely, Tamás ICST '25: "Weighted Call Frequency-Based ..." Article: icst25short-id82-p doi:
Ghanbari, Ali ICST '25: "On Accelerating Deep Neural ..." Article: icst25main-p154-p doi:
Ghislotti, Gianluca ICST '25: "Improving the Readability ..." Article: icst25main-p85-p doi:
Giacaman, Nasser ICST '25: "A System-Level Testing Framework ..." Article: icst25edu-p52edu-p doi:
Giachetti, Giovanni ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Gissursarson, Matthías Páll ICST '25: "Suspicious Types and Bad Neighborhoods: ..." Article: icst25main-p142-p doi:
Godboley, Sangharatna ICST '25: "Poster: Empirical Evaluation ..." Article: icst25posters-id196-p doi: ICST '25: "Poster: Reporting Unique-Cause ..." Article: icst25posters-id197-p doi:
Golla, Monika Rani ICST '25: "Poster: Empirical Evaluation ..." Article: icst25posters-id196-p doi: ICST '25: "Poster: Reporting Unique-Cause ..." Article: icst25posters-id197-p doi:
Gong, Qi ICST '25: "ADGE: Automated Directed GUI ..." Article: icst25main-p65-p doi:
Gong, Xiaorui ICST '25: "ADGE: Automated Directed GUI ..." Article: icst25main-p65-p doi:
González, Antonio ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Gorla, Daniele ICST '25: "CubeTesterAI: Automated JUnit ..." Article: icst25ind-id115-p doi:
Gregor, Lena ICST '25: "On Service-to-Service Integration ..." Article: icst25doc-id176-p doi: ICST '25: "A Taxonomy of Integration-Relevant ..." Article: icst25main-p73-p doi:
Grosse, Selma ICST '25: "Taming Uncertainty in Critical ..." Article: icst25ind-id39-p doi:
Gruber, Martin ICST '25: "Practical Pipeline-Aware Regression ..." Article: icst25ind-id23-p doi:
Gu, Ruizhen ICST '25: "Can Test Generation and Program ..." Article: icst25edu-p53edu-p doi:
Güllü, Ali ICST '25: "ITS4SDC at the ICST 2025 Tool ..." Article: icst25compsdc-psdc-tool3-p doi: ICST '25: "A Method for Systematically ..." Article: icst25doc-id124-p doi:
Guo, Qingli ICST '25: "ADGE: Automated Directed GUI ..." Article: icst25main-p65-p doi:
Hamburg, Matthias ICST '25: "Black-Box Testing for Practitioners: ..." Article: icst25edu-p29edu-p doi:
Han, Yo-Sub ICST '25: "Impact of Large Language Models ..." Article: icst25main-p199-p doi:
Hashemi, Negar ICST '25: "Identifying and Mitigating ..." Article: icst25doc-id119-p doi: ICST '25: "Detecting and Evaluating Order-Dependent ..." Article: icst25main-p20-p doi:
Hassanshahi, Behnaz ICST '25: "Towards Cross-Build Differential ..." Article: icst25short-id73-p doi:
Heineken, Tobias ICST '25: "The Impact of List Reduction ..." Article: icst25main-p21-p doi:
Henderson, Tim A. D. ICST '25: "Speculative Testing at Google ..." Article: icst25ind-id45-p doi:
Heng, Yi Wen ICST '25: "Benchmarking Open-Source Large ..." Article: icst25main-p221-p doi:
Hentschel, Anja ICST '25: "A Taxonomy of Integration-Relevant ..." Article: icst25main-p73-p doi:
Honarvar, Shahin ICST '25: "Evaluating Correct-Consistency ..." Article: icst25doc-id188-p doi: ICST '25: "Turbulence: Systematically ..." Article: icst25main-p59-p doi:
Hong, Jingun ICST '25: "Evaluating Machine Learning-Based ..." Article: icst25ind-id55-p doi:
Hort, Max ICST '25: "Codehacks: A Dataset of Adversarial ..." Article: icst25tool-id94-p doi:
Humeniuk, Dmytro ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compuav-puav-tool4-p doi:
Hundsdorfer, Simon ICST '25: "RustyRTS: Regression Test ..." Article: icst25main-p252-p doi:
Im, Hyeonseung ICST '25: "Impact of Large Language Models ..." Article: icst25main-p199-p doi:
Isaac, Maycel ICST '25: "LLM-Based Labelling of Recorded ..." Article: icst25ind-id20-p doi: ICST '25: "Evaluation of the Choice of ..." Article: icst25ind-id21-p doi:
Isaku, Erblin ICST '25: "LLMs in the Heart of Differential ..." Article: icst25ind-id16-p doi:
Jambigi, Neetha ICST '25: "Fault Localization via Fine-tuning ..." Article: icst25ind-id7-p doi:
Jang, Sechang ICST '25: "EnCus: Customizing Search ..." Article: icst25short-id83-p doi:
Jangali, Mostafa ICST '25: "Batch Execution of Microbenchmarks ..." Article: icst25short-id77-p doi:
Javadi, Ali ICST '25: "TGen-UQ at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool2-p doi:
Ji, Suhwan ICST '25: "Impact of Large Language Models ..." Article: icst25main-p199-p doi:
Jiang, Yue ICST '25: "ADGE: Automated Directed GUI ..." Article: icst25main-p65-p doi:
Jung, Sukchul ICST '25: "Integrating LLM-Based Text ..." Article: icst25ind-id11-p doi:
Jungwirth, Maximilian ICST '25: "Practical Pipeline-Aware Regression ..." Article: icst25ind-id23-p doi:
Kanhai, Wishaal ICST '25: "Rocket: A System-Level Fuzz-Testing ..." Article: icst25tool-id106-p doi:
Kastner, Leon ICST '25: "A Taxonomy of Integration-Relevant ..." Article: icst25main-p73-p doi:
Ke, Yuxin ICST '25: "Multi-project Just-in-Time ..." Article: icst25main-p69-p doi:
Khan, Md Asif ICST '25: "ML-Based Test Case Prioritization: ..." Article: icst25ind-id40-p doi:
Khan, Safwat Ali ICST '25: "Advancing Mobile UI Testing ..." Article: icst25doc-id186-p doi: ICST '25: "Testing Practices, Challenges, ..." Article: icst25main-p179-p doi:
Khandaker, Shaker Mahmud ICST '25: "AugmenTest: Enhancing Tests ..." Article: icst25main-p169-p doi:
Khare, Avishree ICST '25: "Understanding the Effectiveness ..." Article: icst25main-p64-p doi:
Khatiri, Sajad ICST '25: "NN-SDCTest at the ICST 2025 ..." Article: icst25compsdc-psdc-tool6-p doi: ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compuav-puav-tool4-p doi:
Khatiri, Sajad Mazraeh ICST '25: "CertiFail at the ICST 2025 ..." Article: icst25compsdc-psdc-tool4-p doi:
Kifetew, Fitsum ICST '25: "Evolv-1 at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool1-p doi: ICST '25: "AugmenTest: Enhancing Tests ..." Article: icst25main-p169-p doi: ICST '25: "On the Energy Consumption ..." Article: icst25main-p306-p doi:
Kim, Dong Jae ICST '25: "Benchmarking Open-Source Large ..." Article: icst25main-p221-p doi:
Kim, Donggyu ICST '25: "Pre-trained Models for Bytecode ..." Article: icst25short-id86-p doi:
Kim, Jindae ICST '25: "EnCus: Customizing Search ..." Article: icst25short-id83-p doi:
Kim, Seah ICST '25: "Integrating LLM-Based Text ..." Article: icst25ind-id11-p doi:
Kim, Seongbin ICST '25: "EnCus: Customizing Search ..." Article: icst25short-id83-p doi:
Kim, Somin ICST '25: "Integrating LLM-Based Text ..." Article: icst25ind-id11-p doi:
Kim, Taemin ICST '25: "Pre-trained Models for Bytecode ..." Article: icst25short-id86-p doi:
Klikovits, Stefan ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compsdc-psdc-tool5-p doi:
Knoche, Martin ICST '25: "Practical Pipeline-Aware Regression ..." Article: icst25ind-id23-p doi:
Kondareddy, Avi ICST '25: "Speculative Testing at Google ..." Article: icst25ind-id45-p doi:
Krieter, Sebastian ICST '25: "Coverage Metrics for T-Wise ..." Article: icst25main-p100-p doi: ICST '25: "Poster: Quantification of ..." Article: icst25posters-id198-p doi:
Kumar, Shivam ICST '25: "CubeTesterAI: Automated JUnit ..." Article: icst25ind-id115-p doi:
Laaber, Christoph ICST '25: "LLMs in the Heart of Differential ..." Article: icst25ind-id16-p doi:
Lambertenghi, Stefano Carlo ICST '25: "Benchmarking Image Perturbations ..." Article: icst25main-p84-p doi:
Laurent, Thomas ICST '25: "Metamorphic Testing for Pose ..." Article: icst25main-p39-p doi:
Lechthaler, Pietro ICST '25: "Evolv-1 at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool1-p doi:
Lee, Changsup ICST '25: "Impact of Large Language Models ..." Article: icst25main-p199-p doi:
Lee, Sanghwa ICST '25: "Impact of Large Language Models ..." Article: icst25main-p199-p doi:
Leonhard, Hannes ICST '25: "Benchmarking Image Perturbations ..." Article: icst25main-p84-p doi:
Leotta, Maurizio ICST '25: "Leveraging Large Language ..." Article: icst25short-id84-p doi:
Li, Ao ICST '25: "SPIDER: Fuzzing for Stateful ..." Article: icst25main-p3-p doi:
Li, Qiushi ICST '25: "Understanding and Enhancing ..." Article: icst25main-p235-p doi:
Li, Zhenhao ICST '25: "Benchmarking Open-Source Large ..." Article: icst25main-p221-p doi:
Li, Ziyang ICST '25: "Understanding the Effectiveness ..." Article: icst25main-p64-p doi:
Liang, Huayu ICST '25: "Challenges, Strategies, and ..." Article: icst25main-p89-p doi:
Liem, Cynthia ICST '25: "DRVN at the ICST 2025 Tool ..." Article: icst25compsdc-psdc-tool2-p doi:
Linares-Vásquez, Mario ICST '25: "A Developer’s Guide to Building ..." Article: icst25tut-ptutorial97-p doi:
Liscano, Ramiro ICST '25: "ML-Based Test Case Prioritization: ..." Article: icst25ind-id40-p doi:
Liu, Xin ICST '25: "Multi-project Just-in-Time ..." Article: icst25main-p69-p doi:
Lochau, Malte ICST '25: "Coverage Metrics for T-Wise ..." Article: icst25main-p100-p doi:
Loon, Ivar van ICST '25: "Rocket: A System-Level Fuzz-Testing ..." Article: icst25tool-id106-p doi:
Lorenzini, Pietro Nicolaus Roselli ICST '25: "CubeTesterAI: Automated JUnit ..." Article: icst25ind-id115-p doi:
Lu, Chengjie ICST '25: "Assessing the Uncertainty ..." Article: icst25ind-id24-p doi:
Lyons, Lauren ICST '25: "On Accelerating Deep Neural ..." Article: icst25main-p154-p doi:
Ma, Zeyang ICST '25: "Benchmarking Open-Source Large ..." Article: icst25main-p221-p doi:
Mader, Angelika ICST '25: "Requirements for an Automated ..." Article: icst25edu-p51edu-p doi:
Malik, Fasih Munir ICST '25: "CertiFail at the ICST 2025 ..." Article: icst25compsdc-psdc-tool4-p doi:
Mandal, Prianka ICST '25: "Testing Practices, Challenges, ..." Article: icst25main-p179-p doi:
Mangalgi, Yuraj ICST '25: "Rocket: A System-Level Fuzz-Testing ..." Article: icst25tool-id106-p doi:
Manquinho, Vasco ICST '25: "Combining Logic and Large ..." Article: icst25edu-p44edu-p doi:
Marsh, Alexis ICST '25: "A Tale from the Trenches: ..." Article: icst25ind-id37-p doi:
Martins, Ruben ICST '25: "Combining Logic and Large ..." Article: icst25edu-p44edu-p doi:
Maryam, Maryam ICST '25: "Benchmarking Generative AI ..." Article: icst25main-p86-p doi:
Mateis, Cristinel ICST '25: "Taming Uncertainty in Critical ..." Article: icst25ind-id39-p doi:
Mendieta, Roy ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Merget, Daniel ICST '25: "Practical Pipeline-Aware Regression ..." Article: icst25ind-id23-p doi:
Merino, Leonel ICST '25: "A Developer’s Guide to Building ..." Article: icst25tut-ptutorial97-p doi:
Minani, Jean Baptiste ICST '25: "Test Generation from Use Case ..." Article: icst25short-id76-p doi:
Miranda, Breno ICST '25: "A Tool-Assisted Training Approach ..." Article: icst25edu-p54edu-p doi:
Moha, Naouel ICST '25: "Test Generation from Use Case ..." Article: icst25short-id76-p doi:
Moldovan, Adina ICST '25: "Experience Report on using ..." Article: icst25edu-p50edu-p doi:
Molin, Adam ICST '25: "Taming Uncertainty in Critical ..." Article: icst25ind-id39-p doi:
Moonen, Leon ICST '25: "Codehacks: A Dataset of Adversarial ..." Article: icst25tool-id94-p doi:
Moran, Kevin ICST '25: "Testing Practices, Challenges, ..." Article: icst25main-p179-p doi:
More, Riddhi ICST '25: "An Analysis of LLM Fine-Tuning ..." Article: icst25main-p266-p doi: ICST '25: "Addressing Data Leakage in ..." Article: icst25short-id67-p doi:
Moreira, Gabriela ICST '25: "Accessible Smart Contracts ..." Article: icst25ind-id28-p doi:
Morote, Juan Manuel ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Mueller, Moritz ICST '25: "Fault Localization via Fine-tuning ..." Article: icst25ind-id7-p doi:
Muñoz, David ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Nadkarni, Adwait ICST '25: "Testing Practices, Challenges, ..." Article: icst25main-p179-p doi:
Naik, Mayur ICST '25: "Understanding the Effectiveness ..." Article: icst25main-p64-p doi:
Nam, Jaechang ICST '25: "Pre-trained Models for Bytecode ..." Article: icst25short-id86-p doi: ICST '25: "EnCus: Customizing Search ..." Article: icst25short-id83-p doi:
Neider, Daniel ICST '25: "Accessible Smart Contracts ..." Article: icst25ind-id28-p doi:
Ničković, Dejan ICST '25: "Taming Uncertainty in Critical ..." Article: icst25ind-id39-p doi:
Nolasco, Ricardo Ruiz ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Nygård, Jan F. ICST '25: "LLMs in the Heart of Differential ..." Article: icst25ind-id16-p doi:
Olianas, Dario ICST '25: "Leveraging Large Language ..." Article: icst25short-id84-p doi:
Olsen, Mikkel Labori ICST '25: "Assessing the Uncertainty ..." Article: icst25ind-id24-p doi:
Olsthoorn, Mitchell ICST '25: "Improving the Comprehensibility ..." Article: icst25short-id71-p doi: ICST '25: "Rocket: A System-Level Fuzz-Testing ..." Article: icst25tool-id106-p doi:
Orban, Aondowase James ICST '25: "Enhancing Spectrum-Based Fault ..." Article: icst25doc-id117-p doi: ICST '25: "Weighted Call Frequency-Based ..." Article: icst25short-id82-p doi:
Ozkan, Burcu Kulahcioglu ICST '25: "Rocket: A System-Level Fuzz-Testing ..." Article: icst25tool-id106-p doi:
Padhye, Rohan ICST '25: "SPIDER: Fuzzing for Stateful ..." Article: icst25main-p3-p doi:
Panichella, Annibale ICST '25: "DRVN at the ICST 2025 Tool ..." Article: icst25compsdc-psdc-tool2-p doi: ICST '25: "Test Wars: A Comparative Study ..." Article: icst25main-p135-p doi: ICST '25: "Suspicious Types and Bad Neighborhoods: ..." Article: icst25main-p142-p doi: ICST '25: "Rocket: A System-Level Fuzz-Testing ..." Article: icst25tool-id106-p doi:
Panichella, Sebastiano ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compsdc-psdc-tool5-p doi: ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compuav-puav-tool4-p doi:
Papadakis, Mike ICST '25: "An Empirical Study of Web ..." Article: icst25main-p61-p doi:
Papamichail, Chrysanthi ICST '25: "Scenario-Based Testing with ..." Article: icst25tut-ptutorial96-p doi:
Pasqua, Michele ICST '25: "RESTgym: A Flexible Infrastructure ..." Article: icst25tool-id110-p doi:
Pei, Yu ICST '25: "An Empirical Study of Web ..." Article: icst25main-p61-p doi:
Pett, Tobias ICST '25: "Coverage Metrics for T-Wise ..." Article: icst25main-p100-p doi:
Pfahl, Dietmar ICST '25: "ITS4SDC at the ICST 2025 Tool ..." Article: icst25compsdc-psdc-tool3-p doi:
Philippsen, Michael ICST '25: "The Impact of List Reduction ..." Article: icst25main-p21-p doi:
Plösch, Reinhold ICST '25: "Poster: Unit Testing Past ..." Article: icst25posters-id200-p doi:
Poshyvanyk, Denys ICST '25: "Testing Practices, Challenges, ..." Article: icst25main-p179-p doi:
Poth, Alexander ICST '25: "Introducing Black-Box Fuzz ..." Article: icst25ind-id41-p doi:
Prandi, Davide ICST '25: "Evolv-1 at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool1-p doi: ICST '25: "AugmenTest: Enhancing Tests ..." Article: icst25main-p169-p doi: ICST '25: "On the Energy Consumption ..." Article: icst25main-p306-p doi:
Pretschner, Alexander ICST '25: "A Taxonomy of Integration-Relevant ..." Article: icst25main-p73-p doi: ICST '25: "RustyRTS: Regression Test ..." Article: icst25main-p252-p doi:
Radha, P. Krishna ICST '25: "Poster: Reporting Unique-Cause ..." Article: icst25posters-id197-p doi:
Ramírez, Aurora ICST '25: "Towards Refined Code Coverage: ..." Article: icst25short-id65-p doi:
Ramler, Rudolf ICST '25: "Poster: Unit Testing Past ..." Article: icst25posters-id200-p doi:
Rasheed, Shawn ICST '25: "Detecting and Evaluating Order-Dependent ..." Article: icst25main-p20-p doi:
Ravelo-Mendez, William ICST '25: "A Developer’s Guide to Building ..." Article: icst25tut-ptutorial97-p doi:
Ricca, Filippo ICST '25: "Leveraging Large Language ..." Article: icst25short-id84-p doi:
Riccio, Vincenzo ICST '25: "Benchmarking Generative AI ..." Article: icst25main-p86-p doi:
Rodriguez-Cardenas, Daniel ICST '25: "Testing Practices, Challenges, ..." Article: icst25main-p179-p doi:
Rojas, José Miguel ICST '25: "Can Test Generation and Program ..." Article: icst25edu-p53edu-p doi:
Roman, Adam ICST '25: "Black-Box Testing for Practitioners: ..." Article: icst25edu-p29edu-p doi:
Rrjolli, Olsi ICST '25: "Introducing Black-Box Fuzz ..." Article: icst25ind-id41-p doi:
Rump, Arthur ICST '25: "Requirements for an Automated ..." Article: icst25edu-p51edu-p doi:
Rushe, Ellen ICST '25: "Metamorphic Testing for Pose ..." Article: icst25main-p39-p doi:
Safarpour, Homayoun ICST '25: "Toward Tool-Agnostic Guidelines ..." Article: icst25doc-id120-p doi:
Sarker, Laboni ICST '25: "Hybrid Equivalence/Non-equivalence ..." Article: icst25main-p26-p doi:
Sartaj, Hassan ICST '25: "LLMs in the Heart of Differential ..." Article: icst25ind-id16-p doi:
Saurabh, Prasun ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compuav-puav-tool4-p doi:
Schmelz, Katrin ICST '25: "Many-Objective Neuroevolution ..." Article: icst25main-p144-p doi:
Schmidt, Tim Jannik ICST '25: "Coverage Metrics for T-Wise ..." Article: icst25main-p100-p doi: ICST '25: "Poster: Quantification of ..." Article: icst25posters-id198-p doi:
Schwendner, Daniel ICST '25: "Practical Pipeline-Aware Regression ..." Article: icst25ind-id23-p doi:
Schwitalla, Thomas ICST '25: "LLMs in the Heart of Differential ..." Article: icst25ind-id16-p doi:
Seferi, Gkerta ICST '25: "ML-Based Test Case Prioritization: ..." Article: icst25ind-id40-p doi:
Sekar, Vyas ICST '25: "SPIDER: Fuzzing for Stateful ..." Article: icst25main-p3-p doi:
Shah, Faiz Ali ICST '25: "ITS4SDC at the ICST 2025 Tool ..." Article: icst25compsdc-psdc-tool3-p doi:
Shang, Weiyi ICST '25: "Batch Execution of Microbenchmarks ..." Article: icst25short-id77-p doi:
Shi, August ICST '25: "Detecting and Evaluating Order-Dependent ..." Article: icst25main-p20-p doi:
Shin, Donghwan ICST '25: "Can Test Generation and Program ..." Article: icst25edu-p53edu-p doi:
Shin, Ji-ho ICST '25: "Pre-trained Models for Bytecode ..." Article: icst25short-id86-p doi:
Singh, Abhayendra ICST '25: "Speculative Testing at Google ..." Article: icst25ind-id45-p doi:
Smith, Kevin ICST '25: "ML-Based Test Case Prioritization: ..." Article: icst25ind-id40-p doi:
Sohn, Jeongju ICST '25: "An Empirical Study of Web ..." Article: icst25main-p61-p doi:
Solko-Breslin, Alaia ICST '25: "Understanding the Effectiveness ..." Article: icst25main-p64-p doi:
Son, Jeongki ICST '25: "Evaluating Machine Learning-Based ..." Article: icst25ind-id55-p doi:
Speth, Sandro ICST '25: "ViMoTest: A Tool to Specify ..." Article: icst25tool-id98-p doi:
Starace, Luigi Libero Lucio ICST '25: "E2E-Loader: A Tool to Generate ..." Article: icst25tool-id109-p doi:
Stark, David ICST '25: "Scenario-Based Testing with ..." Article: icst25tut-ptutorial96-p doi:
Stocco, Andrea ICST '25: "Benchmarking Image Perturbations ..." Article: icst25main-p84-p doi: ICST '25: "Benchmarking Generative AI ..." Article: icst25main-p86-p doi:
Straubinger, Philipp ICST '25: "Poster: Unit Testing Past ..." Article: icst25posters-id200-p doi:
Susi, Angelo ICST '25: "Evolv-1 at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool1-p doi: ICST '25: "AugmenTest: Enhancing Tests ..." Article: icst25main-p169-p doi: ICST '25: "On the Energy Consumption ..." Article: icst25main-p306-p doi:
Szatmári, Attila ICST '25: "Weighted Call Frequency-Based ..." Article: icst25short-id82-p doi: ICST '25: "Harnessing Test Call Structures ..." Article: icst25short-id59-p doi:
Tahir, Amjed ICST '25: "Detecting and Evaluating Order-Dependent ..." Article: icst25main-p20-p doi:
Tan, Shin Hwei ICST '25: "Understanding and Enhancing ..." Article: icst25main-p235-p doi:
Tang, Shuncheng ICST '25: "PALM at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool3-p doi:
Tang, Yiming ICST '25: "Batch Execution of Microbenchmarks ..." Article: icst25short-id77-p doi:
Tauseef, Qasim ICST '25: "ML-Based Test Case Prioritization: ..." Article: icst25ind-id40-p doi:
Terragni, Valerio ICST '25: "A System-Level Testing Framework ..." Article: icst25edu-p52edu-p doi: ICST '25: "Differential Testing of Concurrent ..." Article: icst25main-p153-p doi: ICST '25: "Towards Cross-Build Differential ..." Article: icst25short-id73-p doi:
Thüm, Thomas ICST '25: "Coverage Metrics for T-Wise ..." Article: icst25main-p100-p doi: ICST '25: "Poster: Quantification of ..." Article: icst25posters-id198-p doi:
Tomic, Stevan ICST '25: "Evaluation of the Choice of ..." Article: icst25ind-id21-p doi:
Tonella, Paolo ICST '25: "Improving the Readability ..." Article: icst25main-p85-p doi:
Traini, Luca ICST '25: "AMBER: AI-Enabled Java Microbenchmark ..." Article: icst25tool-id112-p doi:
Trovato, Antonio ICST '25: "AMBER: AI-Enabled Java Microbenchmark ..." Article: icst25tool-id112-p doi:
Valk, Thijs van der ICST '25: "Rocket: A System-Level Fuzz-Testing ..." Article: icst25tool-id106-p doi:
Vanderose, Benoît ICST '25: "FuzzE, Development of a Fuzzing ..." Article: icst25ind-id14-p doi:
Van der Wilk, Mark ICST '25: "Turbulence: Systematically ..." Article: icst25main-p59-p doi:
Vara, Jose Luis de la ICST '25: "Early V&V in Knowledge-Centric ..." Article: icst25ind-id22-p doi:
Ventresque, Anthony ICST '25: "Metamorphic Testing for Pose ..." Article: icst25main-p39-p doi:
Vescan, Andreea ICST '25: "Teaching Bug Advocacy through ..." Article: icst25edu-p49edu-p doi: ICST '25: "Experience Report on using ..." Article: icst25edu-p50edu-p doi:
Wang, Song ICST '25: "Pre-trained Models for Bytecode ..." Article: icst25short-id86-p doi:
Wei, Qingjie ICST '25: "Multi-project Just-in-Time ..." Article: icst25main-p69-p doi:
White, Tim ICST '25: "Towards Cross-Build Differential ..." Article: icst25short-id73-p doi:
Winkler, Dietmar ICST '25: "Poster: Unit Testing Past ..." Article: icst25posters-id200-p doi:
Witte, Lucas ICST '25: "Rocket: A System-Level Fuzz-Testing ..." Article: icst25tool-id106-p doi:
Wu, Jiahui ICST '25: "Uncertainty-Aware Autonomous ..." Article: icst25doc-id189-p doi: ICST '25: "Assessing the Uncertainty ..." Article: icst25ind-id24-p doi:
Würsching, Roland ICST '25: "RustyRTS: Regression Test ..." Article: icst25main-p252-p doi:
Xiang, Xiaobo ICST '25: "ADGE: Automated Directed GUI ..." Article: icst25main-p65-p doi:
Xu, Zhuolin ICST '25: "Understanding and Enhancing ..." Article: icst25main-p235-p doi:
Yao, Kundi ICST '25: "Batch Execution of Microbenchmarks ..." Article: icst25short-id77-p doi:
Yoo, Shin ICST '25: "Integrating LLM-Based Text ..." Article: icst25ind-id11-p doi: ICST '25: "Evaluating Machine Learning-Based ..." Article: icst25ind-id55-p doi:
Yoon, Juyeon ICST '25: "Integrating LLM-Based Text ..." Article: icst25ind-id11-p doi:
Zaytsev, Vadim ICST '25: "Requirements for an Automated ..." Article: icst25edu-p51edu-p doi:
Zetzsche, Stefan ICST '25: "Compiler Fuzzing in Continuous ..." Article: icst25ind-id38-p doi:
Zhang, Zhenya ICST '25: "PALM at the ICST 2025 Tool ..." Article: icst25compuav-puav-tool3-p doi:
Zohdinasab, Tahereh ICST '25: "ICST Tool Competition 2025 ..." Article: icst25compuav-puav-tool4-p doi:

337 authors

proc time: 4.14