PPaperPicks
← All conferences
Editions2026

ICST 2026

A

IEEE International Conference on Software Testing, Verification and Validation

Official site ↗
134
accepted papers
407
authors
May 18-22, 2026
dates
South Korea
location

134 / 134 papers

  1. 1
    A Case Study on Bug Seeding in a University Course on Software Development and Testing
    Satoshi Masuda
    ,
    Tohru Matsuodani
  2. 2
    A Fragment-Based Multilingual Jailbreak Testing Framework for Large Language Models with Implications for Healthcare Deployment
    Yu-Chih Wei
    ,
    Yu-Ren Wu
    ,
    Yen-Yun Chen
    ,
    Chuan-Tse Tsai
  3. 3
    A Hierarchical Network-Based Testing Framework for Structural Trend Detection in Technical Corpora
    Masataka Noda
    ,
    Kazuhiko Tsuda
  4. 4
    A Hybrid Approach to Optimizing Build and Test Time: Marginal and Concurrent Delay Analysis
    Stanislaw Swierc
    ,
    Scott Yost
    ,
    Ben Villa
  5. 5
    A Linguistically Motivated Automated Testing Framework For ASR Accent-Robustness
    Margot Masson
    ,
    Thomas Laurent
    ,
    Anthony Ventresque
  6. 6
    A Multi-Perspective Evaluation of Static Mutant Selection Techniques
    Magdalene Ashong
    ,
    Thomas Laurent
    ,
    Anthony Ventresque
  7. 7
    A Multimodal NLP Framework for Detecting and Removing with Explanation Code Vulnerabilities
    Jorge Guerreiro
  8. 8
    A Systematic Evaluation of Environmental Flakiness in JavaScript Tests
    Negar Hashemi
    ,
    Amjed Tahir
    ,
    August Shi
    ,
    Shawn Rasheed
    ,
    Rachel Blagojevic
  9. 9
    Adaptive Mixing of Embeddings from Multiple Code Language Models for Fault Localization
    Juyoung Yang
    ,
    EunChan Park
    ,
    In-Young Ko
  10. 10
    AI-Native Testing: Adapting Validation Practices for Accelerated Development
    Carlos Arguelles
  11. 11
    An Activation Property-Based Framework for Efficient Neural Network Verification
    Seunghyun Chae
  12. 12
    An Adaptive Hybrid Quantum-Classical Framework for Test Suite Minimization via Quantum Approximate Optimization Algorithm
    Lakksh Sharma
    ,
    Krish Sharma
    ,
    Ajay Kumar
  13. 13
    An Empirical Assessment of Copilot's Defect Prediction Capabilities in Code Reviews
    Charis Dimopoulou
    ,
    Fabrizio Pastore
  14. 14
    Analyzing the Latent Input Space of LLMs for Systematic Prompt Testing
    Somin Kim
  15. 15
    Android Instrumentation Testing in Continuous Integration: Practices, Patterns, and Performance
    Hamid Parsazadeh
    ,
    Taher Ahmed Ghaleb
    ,
    Safwat Hassan
  16. 16
    Assessing the Impact of Code Changes on the Fault Localizability of Large Language Models
    Sabaat Haroon
    ,
    Ahmad Faraz Khan
    ,
    Ahmad Humayun
    ,
    Waris Gill
    ,
    Abdul Haddi Amjad
    ,
    Ali Raza Butt
    ,
    Mohammad Taha Khan
    ,
    Muhammad Ali Gulzar
  17. 17
    Assessing Vision-Language Models for Perception in Autonomous Underwater Robotic Software
    Muhammad Yousaf
    ,
    Aitor Arrieta
    ,
    Shaukat Ali
    ,
    Paolo Arcaini
    ,
    Shuai Wang
  18. 18
    Association Rules Based Fault Localization in Combinatorial Testing
    Rekha Jayaram
    ,
    Krishnan Rangarajan
  19. 19
    Automated Black-Box Testing: A Comparative Study of LLM Agent Architectures and Prompt Engineering
    Anna Arnaudo
    ,
    Riccardo Coppola
    ,
    Flavio Giobergia
    ,
    Maurizio Morisio
    ,
    Van-Thanh Nguyen
    ,
    Enrico Chen
    ,
    Xiaoning Ma
    ,
    XiaoQuan Ji
    ,
    Minh-Thai Mai
  20. 20
    Automated Inference of Expressive Metamorphic Relations for Effective Metamorphic Testing
    Agustín Nolasco
  21. 21
    Automated Reproduction of Android Application Bugs with LLMs: Are We There Yet?
    Dennis Carey
    ,
    Karim Elish
    ,
    Paniz Abedin
  22. 22
    Automated REST API Black-box Test Generation in Practice: An Experience Report from Industry
    Davide Corradini
    ,
    Seung Yeob Shin
    ,
    Domenico Bianculli
  23. 23
    Automatic GUI testing of Android applications based on Multi-Agent Reinforcement Learning
    Kazuki Dodo
    ,
    Shingo Takada
  24. 24
    Automatically Resolving Mismatched Invocations on Test Doubles in Test Suites
    Mengzhen Li
    ,
    Mattia Fazzini
  25. 25
    BESSER-TestGen: Automated Model-based Unit Test Generation for Low-Code Applications
    Fitash Ul Haq
    ,
    Jordi Cabot
  26. 26
    Beyond Detection: Evaluating Flaky Test Fix Effectiveness
    Oleg Andreyev
    ,
    Vincent Cheung
  27. 27
    Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking
    Futa Oda
    ,
    Tatsuhiro Tsuchiya
  28. 28
    Clustering First-Order Mutants by Behavioural Similarity: A Graph-Based Approach to Higher-Order Mutant Generation
    Sajjad Hesamipour Khelejan
    ,
    Thomas Laurent
    ,
    Anthony Ventresque
  29. 29
    CodeQual-Agent: An Intelligent LLM-Agent Framework for Automated Software Quality Assessment with Explainable Predictions and Real-Time Analysis
    Faisal Mohammad
    ,
    Junaid K. Kakar
    ,
    D. R. Bekale Be Ndong
    ,
    Mot Chas
    ,
    Duksan Ryu
  30. 30
    Combinatorial Test Generation Tool for REST API with Variable-Length Arrays
    Yasufumi Suzuki
    ,
    Masumi Kawakami
  31. 31
    Combining Input Constraints with Execution Goals
    Leon Bettscheider
    ,
    Marius Smytzek
    ,
    Andreas Zeller
  32. 32
    Comp-AFL: Towards Complete Fuzzing
    Sangharatna Godboley
    ,
    Kanika Gupta
    ,
    Monika Rani Golla
    ,
    P. Radha Krishna
  33. 33
    Configuration Quality Failures in LLM-Generated GitHub Actions Workflows: A Comparison with Human-Validated Baselines
    Sajid Ahmed
    ,
    Samia Rahman
    ,
    Kazi Tasnia Farin Ifa
    ,
    Proma Chowdhury
  34. 34
    Consistency Meets Verification: Enhancing Test Generation Quality in Large Language Models Without Ground-Truth Solutions
    Hamed Taherkhani
    ,
    Alireza DaghighFarsoodeh
    ,
    Mohammad Chowdhury
    ,
    Hung Viet Pham
    ,
    Hadi Hemmati
  35. 35
    Constraint-Driven Fuzzing at Scale with FANDANGO
    José Antonio Zamudio Amaya
    ,
    Marius Smytzek
    ,
    Alexander Liggesmeyer
    ,
    Valentin Huber
    ,
    Andreas Zeller
  36. 36
    Constraint-Focused Benchmark of Combinatorial Testing Tools: A Practitioner's View
    Sebastian Puck
    ,
    Alexander Perko
    ,
    David Kaufmann
    ,
    Franz Wotawa
    ,
    Iskra Gasparic
  37. 37
    Continuous Requirement Conformance Falsification for Cyber-Physical Systems via Cross-Revision Knowledge Transfer
    Jesper Winsten
    ,
    Ivan Porres
  38. 38
    Cooperative Defense Against Suicide Drones for a Moving Asset
    Sumi Kim
    ,
    Hynju Jang
    ,
    Kyori Park
    ,
    Dowon Kim
    ,
    Pilsu Jung
  39. 39
    Cross-Simulation Validation of an ML Surrogate for Multirotor Emergency-Landing Risk Assessment
    Jinet A. Onyango
    ,
    Jeongheon Seo
    ,
    Changhui Bae
    ,
    Euteum Choi
    ,
    Seongjin Lee
  40. 40
    CTWedgeV: SMT-Based Validation of Combinatorial Test Suites
    Andrea Bombarda
    ,
    Angelo Gargantini
  41. 41
    DANTE: Data-Driven Test Case Selection and Prioritization for Long-Running Test Suites
    Simone Reale
    ,
    Elisabetta Di Nitto
    ,
    Luciano Baresi
    ,
    Massimiliano Di Penta
    ,
    Giovanni Quattrocchi
  42. 42
    DeepFix: Debugging and Fixing Machine Learning Workflow using Agentic AI
    Fadel Mamar Seydou
    ,
    Arnab Sharma
  43. 43
    DeepNaqqal: Human-Aligned Automated Validation of Test Inputs for Deep Learning
    Maryam
    ,
    Matteo Biagiola
    ,
    Paolo Tonella
    ,
    Vincenzo Riccio
  44. 44
    Designing and Verifying Agentic AI Systems through Structural Architecture and State Analysis
    Juyeon Yoon
  45. 45
    Developer vs. DSpot vs. ChatGPT: A Comparative Study of JUnit Test Amplification
    David Onyango Owuor
    ,
    Ajay Kumar Jha
  46. 46
    Do Language Models Prefer Vulnerable Code? A Probabilistic Study of Insecure Code Preference
    Rui Melo
    ,
    Sofia Reis
    ,
    Andre Catarino
    ,
    Rui Abreu
  47. 47
    Dynamic Mutation Scheduling: Highly Parallel, Efficient Evaluation of Mutations for Rust Programs through Program Splitting
    Zalán Lévai
    ,
    Donghwan Shin
    ,
    Phil McMinn
  48. 48
    Dynasto: Validity-Aware Dynamic-Static Parameter Optimization for Autonomous Driving Testing
    Dmytro Humeniuk
    ,
    Mohammad Hamdaqa
    ,
    Houssem Ben Braiek
    ,
    Amel Bennaceur
    ,
    Foutse Khomh
  49. 49
    Early Warning of Performance Degradation in Object Detection Models via Explainable AI
    Jia Shin
    ,
    Uicheon Lee
    ,
    Seonah Lee
  50. 50
    Efficient Software Security Evaluation: A Human-in-the-Loop Approach
    Christian Banse
    ,
    Immanuel Kunz
    ,
    Alexander Küchler
    ,
    Leutrim Shala
    ,
    Konrad Weiss
    ,
    Maximilian Kaul