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