ICST A

56 papers

YearTitle / Authors
202215th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022
2022A Framework for Automated API Fuzzing at Enterprise Scale.
Riyadh Mahmood, Jay Pennington, Danny Tsang, Tan Tran, Andrea Bogle
2022A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky Tests.
Sarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon
2022A Survey on How Test Flakiness Affects Developers and What Support They Need To Address It.
Martin Gruber, Gordon Fraser
2022An Empirical Study of IR-based Bug Localization for Deep Learning-based Software.
Misoo Kim, Youngkyoung Kim, Eunseok Lee
2022An Experimental and Practical Study on the Equivalent Mutant Connection: An Evolutionary Approach.
Pedro Delgado-Pérez, Francisco Chicano
2022Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification.
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
2022As Code Testing: Characterizing Test Quality in Open Source Ansible Development.
Mohammad Mehedi Hassan, Akond Rahman
2022Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE Recordings.
Maurizio Leotta, Antonio Molinari, Filippo Ricca
2022Automated Detection of TalkBack Interactive Accessibility Failures in Android Applications.
Ali S. Alotaibi, Paul T. Chiou, William G. J. Halfond
2022Automated GUI-based Software-Testing Using Deep Neuroevolution.
Daniel Zimmermann
2022Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal Methods.
Amirfarhad Nilizadeh
2022Automated Repair of Responsive Web Page Layouts.
Ibrahim Althomali, Gregory M. Kapfhammer, Phil McMinn
2022Automatic Error Classification and Root Cause Determination while Replaying Recorded Workload Data at SAP HANA.
Neetha Jambigi, Thomas Bach, Felix Schabernack, Michael Felderer
2022Automating Differential Testing with Overapproximate Symbolic Execution.
Richard Rutledge, Alessandro Orso
2022CITRUS: Automated Unit Testing Tool for Real-world C++ Programs.
Robert Sebastian Herlim, Yunho Kim, Moonzoo Kim
2022Comparing Fuzzers on a Level Playing Field with FuzzBench.
Dario Asprone, Jonathan Metzman, Abhishek Arya, Giovani Guizzo, Federica Sarro
2022DTLS-Fuzzer: A DTLS Protocol State Fuzzer.
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
2022Debugger-driven Embedded Fuzzing.
Max Eisele
2022Documentation-based functional constraint generation for library methods.
Renhe Jiang, Zhengzhao Chen, Yu Pei, Minxue Pan, Tian Zhang, Xuandong Li
2022Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky Tests.
Owain Parry, Gregory M. Kapfhammer, Michael Hilton, Phil McMinn
2022FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp.
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
2022GUI Test Transfer from Web to Android.
Jun-Wei Lin, Sam Malek
2022Harvesting Production GraphQL Queries to Detect Schema Faults.
Louise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry
2022IFRIT: Focused Testing through Deep Reinforcement Learning.
Andrea Romdhana, Mariano Ceccato, Alessio Merlo, Paolo Tonella
2022JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIs.
Man Zhang, Asma Belhadi, Andrea Arcuri
2022Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.
Cedric Richter, Heike Wehrheim
2022Learning-based Mutant Reduction Using Fine-grained Mutation Operators.
Yunho Kim, Shin Hong
2022Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing.
Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa
2022Locating Code Omission Error due to Incorrect Polymorphic Method Call.
Sudakshina Dutta, Debarshi Kumar Sanyal
2022Machine Learning Based Invariant Generation: A Framework and Reproducibility Study.
Jan Haltermann, Heike Wehrheim
2022Message from the Program Co-Chairs.
Fitsum Meshesha Kifetew, Annibale Panichella
2022Metamorphic Fuzzing of C++ Libraries.
Andrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler
2022Model-Based Testing for System-Level Safety of Autonomous Underwater Robots.
Sergio Quijano, Mahsa Varshosaz
2022Model-based Testing of Scratch Programs.
Katharina Götz, Patric Feldmeier, Gordon Fraser
2022POWER: Program Option-Aware Fuzzer for High Bug Detection Ability.
Ahcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim
2022Patterns of Code-to-Test Co-evolution for Automated Test Suite Maintenance.
Samiha Shimmi, Mona Rahimi
2022Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC.
Monika Rani Golla, Sangharatna Godboley
2022Poster: EBFL-An Ensemble Classifier based Fault Localization.
Arpita Dutta
2022Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow Posts.
Sonal Mahajan, Mukul R. Prasad
2022Repairing Fragile GUI Test Cases Using Word and Layout Embedding.
Juyeon Yoon, Seungjoon Chung, Kihyuck Shin, Jinhan Kim, Shin Hong, Shin Yoo
2022RiverGame - a game testing tool using artificial intelligence.
Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2022Robustness assessment and improvement of a neural network for blood oxygen pressure estimation.
Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini
2022SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software.
Tuba Yavuz
2022SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine Learning.
Alexander Senchenko, Jordan Patterson, Hamman Samuel, Dan Ispir
2022Smoke Testing of Cloud Systems.
Cecilio Cannavacciuolo, Leonardo Mariani
2022Summary of An Effective Formulation of the Multi-Criteria Test Suite Minimization Problem.
Okan Örsan Özener, Hasan Sözer
2022Summary of Model Checking C++ Programs.
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro
2022Summary of SWFC-ART: A Cost-effective Approach for Fixed-Size-Candidate-Set Adaptive Random Testing through Small World Graphs.
Muhammad Ashfaq, Rubing Huang, Dave Towey, Michael Omari, Dmitry A. Yashunin, Patrick Kwaku Kudjo, Tao Zhang
2022Symbolic Verification of Message Signatures in MPI.
Hengbiao Yu, Banghu Yin, Xin Yi
2022TESRAC: A Framework for Test Suite Reduction Assessment at Scale.
João Becho, Frederico Cerveira, João Leitão, Rui André Oliveira
2022TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial Coverage.
Rachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany
2022Testing Software in Production Environments with Data from the Field.
Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler
2022Testing a PL/I Compiler Using Precomputation-based Program Generation.
Jesse Postema, Johan Fabry, Yannick Barthol, Ana Oprescu
2022To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects.
Saikat Dutta, Anshul Arunachalam, Sasa Misailovic
2022Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems.
Tobias Bachmann, Djurre van der Wal, Machiel van der Bijl, Daan van der Meij, Ana Oprescu