Table of Contents

• One-click formal methodsLiana Hadarean. 1 [doi]
• Smart, and also Reliable and Gas-Efficient, ContractsElvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio. 2 [doi]
• SunDew: Systematic Automated Security TestingFranjo Ivancic. 3 [doi]
• Can We Predict the Quality of Spectrum-based Fault Localization?Mojdeh Golagha, Alexander Pretschner, Lionel C. Briand. 4-15 [doi]
• Substate Profiling for Enhanced Fault Detection and Localization: An Empirical StudyRawad Abou Assi, Wes Masri, Chadi Trad. 16-27 [doi]
• More Accurate Dynamic Slicing for Better Supporting Software DebuggingXiangyu Li, Alessandro Orso. 28-38 [doi]
• Language-Agnostic Generation of Compilable Test ProgramsPatrick Kreutzer, Stefan Kraus, Michael Philippsen. 39-50 [doi]
• MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case GeneratorsKyle Dewey, Shant Hairapetian, Miroslav Gavrilov. 51-62 [doi]
• Learning How to Search: Generating Exception-Triggering Tests Through Adaptive Fitness Function SelectionHussein Almulla, Gregory Gay. 63-73 [doi]
• An Empirical Evaluation of Mutation Operators for Deep Learning SystemsGunel Jahangirova, Paolo Tonella. 74-84 [doi]
• Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case StudyFitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand. 85-95 [doi]
• A Study on Challenges of Testing Robotic SystemsAfsoon Afzal, Claire Le Goues, Michael Hilton, Christopher Steven Timperley. 96-107 [doi]
• Determining Method-Call Sequences for Object Creation in C++Thomas Bach, Ralf Pannemans, Artur Andrzejak 0001. 108-119 [doi]
• NodeRacer: Event Race Detection for Node.js ApplicationsAndré Takeshi Endo, Anders Møller. 120-130 [doi]
• QuickREST: Property-based Test Generation of OpenAPI-Described RESTful APIsStefan Karlsson, Adnan Causevic, Daniel Sundmark. 131-141 [doi]
• RESTTESTGEN: Automated Black-Box Testing of RESTful APIsEmanuele Viglianisi, Michael Dallago, Mariano Ceccato. 142-152 [doi]
• Testability Transformations For Existing APIsAndrea ArcuriJuan, P. Galeotti. 153-163 [doi]
• Fostering the Diversity of Exploratory Testing in Web ApplicationsJulien Leveau, Xavier Blanc 0001, Laurent Réveillère, Jean-Rémy Falleri, Romain Rouvoy. 164-174 [doi]
• Dependency-Aware Web Test GenerationMatteo Biagiola, Andrea Stocco 0001, Filippo Ricca, Paolo Tonella. 175-185 [doi]
• Metamorphic Security Testing for Web SystemsPhu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand. 186-197 [doi]
• Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption RelationsMarcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro, Marcelo d'Amorim, Rohit Gheyi. 198-208 [doi]
• Massively Parallel, Highly Efficient, but What About the Test Suite Quality? Applying Mutation Testing to GPU ProgramsQianqian Zhu, Andy Zaidman. 209-219 [doi]
• STICCER: Fast and Effective Database Test Suite Reduction Through Merging of Similar Test CasesAbdullah Alsharif, Gregory M. Kapfhammer, Phil McMinn. 220-230 [doi]
• Implementation-induced Inconsistency and Nondeterminism in Deterministic Clustering AlgorithmsXin Yin, Iulian Neamtiu, Saketan Patil, Sean T. Andrews. 231-242 [doi]
• CBR: Controlled Burst RecordingOscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani. 243-253 [doi]
• An Empirical Analysis of Blind TestsKesina Baral, Jeff Offutt. 254-262 [doi]
• A Family of Experiments to Assess the Impact of Page Object Pattern in Web Test Suite DevelopmentMaurizio Leotta, Matteo Biagiola, Filippo Ricca, Mariano Ceccato, Paolo Tonella. 263-273 [doi]
• Human-In-The-Loop Automatic Program RepairMarcel Böhme, Charaka Geethal, Van-Thuan Pham. 274-285 [doi]
• A Framework for In-Vivo Testing of Mobile ApplicationsMariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella. 286-296 [doi]
• Prioritizing Runtime Verification ViolationsBreno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim. 297-308 [doi]
• Parallelization of Classical Numerical optimization in Quantum Variational AlgorithmsMarco Pistoia, Peng Liu 0010, Chun-Fu (Richard) Chen, Shaohan Hu, Stephen P. Wood. 309-320 [doi]
• SPECMATE: Automated Creation of Test Cases from Acceptance CriteriaJannik Fischbach, Andreas Vogelsang, Dominik Spies, Andreas Wehrle, Maximilian Junker, Dietmar Freudenstein. 321-331 [doi]
• Tool Support for Refactoring Manual TestsBernard Elodie, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting. 332-342 [doi]
• EC.LANG - A Language for Specifying Response Time Analyses of Event ChainsMax J. Friese, Johannes Traub, Dirk Nowotka. 343-352 [doi]
• Detecting Higher-Order Merge Conflicts in Large Software ProjectsThorsten Wuensche, Artur Andrzejak 0001, Sascha Schwedes. 353-363 [doi]
• Scaling Test Case Generation For Expressive Decision TablesSupriya Agrawal, R. Venkatesh, Ulka Shrotri, Amey Zare, Sagar Verma. 364-374 [doi]
• Generating Avoidable Collision Scenarios for Testing Autonomous Driving SystemsAlessandro Calò, Paolo Arcaini, Shaukat Ali 0001, Florian Hauer, Fuyuki Ishikawa. 375-386 [doi]
• Checking Security Properties of Cloud Service REST APIsVaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk. 387-397 [doi]
• Poster: Test Case Prioritization Using Error Propagation ProbabilityJeonghyun Joo, Seunghoon Yoo, Myunghwan Park. 398-401 [doi]
• Poster: Performance Testing Driven by Reinforcement LearningMahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper. 402-405 [doi]
• Poster: Is Euclidean Distance the best Distance Measurement for Adaptive Random Testing?Rubing Huang, Chenhui Cui, Weifeng Sun, Dave Towey. 406-409 [doi]
• Poster: SONAR Testing - Novel Testing Approach Based on Operation Recording and VisualizationHiroyuki Kirinuki, Toshiyuki Kurabayashi, Haruto Tanno, Ippei Kumagawa. 410-413 [doi]
• Agent-based Testing of Extended Reality SystemsRui Prada, I. S. W. B. Prasetya, Fitsum Kifetew, Frank Dignum, Tanja E. J. Vos, Jason Lander, Jean-Yves Donnart, Alexandre Kazmierowski, Joseph Davidson, Pedro M. Fernandes. 414-417 [doi]
• How Can Software Testing be Improved by Analytics to Deliver Better Apps?Julian Harty. 418-420 [doi]
• Automated verification of compliance of non-functional requirements on mobile applications through metamorphic testingMisael Costa Júnior. 421-423 [doi]
• Well-informed Test Case Generation and Crash ReproductionPouria Derakhshanfar. 424-426 [doi]
• Anomaly Analyses to Guide Software Testing ActivityAllan Mori. 427-429 [doi]
• Toward Automated Assessment of User Experience in Extended RealitySaba Gholizadeh Ansari. 430-432 [doi]
• Source-Codeless Testing for Android AppsCamilo Escobar-Velasquez. 433-435 [doi]
• CDST: A Toolkit for Testing Cockpit Display SystemsHassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan. 436-441 [doi]
• Open-source Defect Injection Benchmark Testbed for the Evaluation of TestingMiroslav Bures, Pavel Herout, Bestoun S. Ahmed. 442-447 [doi]
• Callisto: Entropy-based Test Generation and Data Quality Assessment for Machine Learning SystemsSakshi Udeshi, Xingbin Jiang, Sudipta Chattopadhyay 0001. 448-453 [doi]
• Run Java Applications and Test Them In-Vivo MeantimeAntonia Bertolino, Guglielmo De Angelis, Breno Miranda, Paolo Tonella. 454-459 [doi]
• AFLNET: A Greybox Fuzzer for Network ProtocolsVan-Thuan Pham, Marcel Böhme, Abhik Roychoudhury. 460-465 [doi]
• ct-fuzz: Fuzzing for Timing LeaksShaobo He, Michael Emmi, Gabriela F. Ciocarlie. 466-471 [doi]