ICST A

50 papers

YearTitle / Authors
2024230,439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers.
Abdulrahman Alshammari, Paul Ammann, Michael Hilton, Jonathan Bell
2024Adversarial Testing with Reinforcement Learning: A Case Study on Autonomous Driving.
Andréa Doreste, Matteo Biagiola, Paolo Tonella
2024Agile Regression Testing.
Suddhasvatta Das
2024Are We Testing or Being Tested? Exploring the Practical Applications of Large Language Models in Software Testing.
Robson Santos, Ítalo Santos, Cleyton V. C. de Magalhães, Ronnie de Souza Santos
2024Assessing Quality Metrics for Neural Reality Gap Input Mitigation in Autonomous Driving Testing.
Stefano Carlo Lambertenghi, Andrea Stocco
2024Aurora: Navigating UI Tarpits via Automated Neural Screen Understanding.
Safwat Ali Khan, Wenyu Wang, Yiran Ren, Bin Zhu, Jiangfan Shi, Alyssa McGowan, Wing Lam, Kevin Moran
2024Automatically Removing Unnecessary Stubbings from Test Suites.
Mengzhen Li, Mattia Fazzini
2024Automatically Reproducing Timing-Dependent Flaky-Test Failures.
Shanto Rahman, Aaron Massey, Wing Lam, August Shi, Jonathan Bell
2024Brewing Up Reliability: Espresso Test Generation for Android Apps.
Iván Arcuschin, Lisandro Di Meo, Michael Auer, Juan P. Galeotti, Gordon Fraser
2024BugOut: Automated Test Generation and Bug Detection for Low-Code.
Joana Coutinho, Alexandre Lemos, Miguel Terra-Neves, André Ribeiro, Vasco Manquinho, Rui Quintino, Bartlomiej Matejczyk
2024Causal Test Adequacy.
Michael Foster, Christopher Wild, Robert M. Hierons, Neil Walkinshaw
2024Cost of Flaky Tests in Continuous Integration: An Industrial Case Study.
Fabian Leinen, Daniel Elsner, Alexander Pretschner, Andreas Stahlbauer, Michael Sailer, Elmar Jürgens
2024Differential Optimization Testing of Gremlin-Based Graph Database Systems.
Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Jiansen Song, Ziyue Cheng, Wei Wang, Jun Wei, Hua Zhong, Tao Huang
2024Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?
Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok
2024EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games.
Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Mehdi Dastani, Frank Dignum, Gabriele Keller
2024End-to-End RPA-Like Testing Using Reinforcement Learning.
Ciprian Paduraru, Rares Cristea, Alin Stefanescu
2024Enhanced Fast and Reliable Statistical Vulnerability Root Cause Analysis with Sanitizer.
Zhuo Yan, Haipeng Qu, Lingyun Ying, Ke Liu, Q. Chao
2024Evolutionary Testing for Program Repair.
Haifeng Ruan, Hoang Lam Nguyen, Ridwan Shariffdeen, Yannic Noller, Abhik Roychoudhury
2024Formatted Stateful Greybox Fuzzing of TLS Server.
Fan Hu, Jiangan Ji, Hui Shu, Zheming Li, Tieming Liu, Chao Zhang
2024FusionFL: A Statement-Level Feature Fusion Based Fault Localization Approach.
Yanbo Zhang, Yawen Wang, Dongming Zhu, Wenjing Liu
2024IEEE Conference on Software Testing, Verification and Validation, ICST 2024, Toronto, ON, Canada, May 27-31, 2024
2024Improving Patch Correctness Analysis via Random Testing and Large Language Models.
Facundo Molina, Juan Manuel Copia, Alessandra Gorla
2024In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others?
Han Fu, Sigrid Eldh, Kristian Wiklund, Andreas Ermedahl, Philipp Haller, Cyrille Artho
2024Insights into System Failures: ML-Assisted Testing and Failure Models for Cyber-Physical Systems.
Baharin Aliashrafi Jodat
2024Intent-Driven Mobile GUI Testing with Autonomous Large Language Model Agents.
Juyeon Yoon, Robert Feldt, Shin Yoo
2024KAT: Dependency-Aware Automated API Testing with Large Language Models.
Tri Le, Thien Tran, Duy Cao, Vy Le, Tien N. Nguyen, Vu Nguyen
2024Learning Environment Models with Continuous Stochastic Dynamics - with an Application to Deep RL Testing.
Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, Bettina Könighofer
2024MACS: Multi-Agent Adversarial Reinforcement Learning for Finding Diverse Critical Driving Scenarios.
Shuting Kang, Qian Dong, Yunzhi Xue, Yanjun Wu
2024METAL: Metamorphic Testing Framework for Analyzing Large-Language Model Qualities.
Sangwon Hyun, Mingyu Guo, Muhammad Ali Babar
2024MLHCBugs: A Framework to Reproduce Real Faults in Healthcare Machine Learning Applications.
Guna Sekaran Jaganathan, Nazmul Kazi, Indika Kahanda, Upulee Kanewala
2024MOTIF: A tool for Mutation Testing with Fuzzing.
Jaekwon Lee, Enrico Viganò, Fabrizio Pastore, Lionel C. Briand
2024MSGFuzzer: Message Sequence Guided Industrial Robot Protocol Fuzzing.
Yang Zhang, Dongliang Fang, Puzhuo Liu, Laile Xi, Xiao Lu, Xin Chen, Shuaizong Si, Limin Sun
2024Message from the Program Co-Chairs; ICST 2024.
Gregory Gay, Shiva Nejati
2024Metamorphic Testing of an Autonomous Delivery Robots Scheduler.
Thomas Laurent, Paolo Arcaini, Xiaoyi Zhang, Fuyuki Ishikawa
2024On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset.
Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
2024Poster: Towards Understanding Root Causes of Real Failures in Healthcare Machine Learning Applications.
Guna Sekaran Jaganathan, Nazmul Kazi, Indika Kahanda, Upulee Kanewala
2024Poster: VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines.
Sangharatna Godboley, P. Radha Krishna
2024Poster: gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing.
Darshan Lohiya, Monika Rani Golla, Sangharatna Godboley, P. Radha Krishna
2024Predicting Safety Misbehaviours in Autonomous Driving Systems Using Uncertainty Quantification.
Ruben Grewal, Paolo Tonella, Andrea Stocco
2024Quantizing Large-Language Models for Predicting Flaky Tests.
Shanto Rahman, Abdelrahman Baz, Sasa Misailovic, August Shi
2024Randomised Testing of the Compiler for a Verification-Aware Programming Language.
Alastair F. Donaldson, Dilan Sheth, Jean-Baptiste Tristan, Alex Usher
2024SafeRevert: When Can Breaking Changes be Automatically Reverted?
Tim A. D. Henderson, Avi Kondareddy, Sushmita Azad, Eric Nickell
2024Search-Based Security Testing of Enterprise Microservices.
Susruthan Seran
2024Spectral Analysis of the Relation between Deep Learning Faults and Neural Activation Values.
Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella
2024State of the Practice in Software Testing Teaching in Four European Countries.
Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino
2024Teaching Model-Driven Engineering from a Model-Testing Perspective.
Felix Cammaerts
2024The GitHub Recent Bugs Dataset for Evaluating LLM-Based Debugging Applications.
Jae Yong Lee, Sungmin Kang, Juyeon Yoon, Shin Yoo
2024U-Fuzz: A Tool Prototype for Stateful Fuzzing of IoT Protocols on COTS Devices.
Zewen Shang, Matheus E. Garbelini, Sudipta Chattopadhyay
2024U-Fuzz: Stateful Fuzzing of IoT Protocols on COTS Devices.
Zewen Shang, Matheus E. Garbelini, Sudipta Chattopadhyay
2024Using Mutation Testing To Improve and Minimize Test Suites for Smart Contracts.
Enzo Nicourt, Benjamin Kushigian, Chandrakana Nandi, Yliès Falcone