Table of Contents

• Message from the Program Co-ChairsFitsum Meshesha Kifetew, Annibale Panichella. [doi]
• GUI Test Transfer from Web to AndroidJun-Wei Lin, Sam Malek. 1-11 [doi]
• Machine Learning Based Invariant Generation: A Framework and Reproducibility StudyJan Haltermann, Heike Wehrheim. 12-23 [doi]
• IFRIT: Focused Testing through Deep Reinforcement LearningAndrea Romdhana, Mariano Ceccato, Alessio Merlo, Paolo Tonella. 24-34 [doi]
• Metamorphic Fuzzing of C++ LibrariesAndrei Lascu, Alastair F. Donaldson, Tobias Grosser, Torsten Hoefler. 35-46 [doi]
• Smoke Testing of Cloud SystemsCecilio Cannavacciuolo, Leonardo Mariani. 47-57 [doi]
• Testing Software in Production Environments with Data from the FieldLuca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler. 58-69 [doi]
• Applying Symbolic Execution to Test Implementations of a Network Protocol Against its SpecificationHooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas. 70-81 [doi]
• A Survey on How Test Flakiness Affects Developers and What Support They Need To Address ItMartin Gruber, Gordon Fraser 0001. 82-92 [doi]
• Evaluating Features for Machine Learning Detection of Order- and Non-Order-Dependent Flaky TestsOwain Parry, Gregory M. Kapfhammer, Michael Hilton, Phil McMinn. 93-104 [doi]
• JavaScript Instrumentation for Search-Based Software Testing: A Study with RESTful APIsMan Zhang, Asma Belhadi, Andrea Arcuri. 105-115 [doi]
• Patterns of Code-to-Test Co-evolution for Automated Test Suite MaintenanceSamiha Shimmi, Mona Rahimi. 116-127 [doi]
• An Empirical Study of IR-based Bug Localization for Deep Learning-based SoftwareMisoo Kim, YoungKyoung Kim, Eunseok Lee. 128-139 [doi]
• Automated Repair of Responsive Web Page LayoutsIbrahim Althomali, Gregory M. Kapfhammer, Phil McMinn. 140-150 [doi]
• To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning ProjectsSaikat Dutta, Anshul Arunachalam, Sasa Misailovic. 151-161 [doi]
• Learning Realistic Mutations: Bug Creation for Neural Bug DetectorsCedric Richter, Heike Wehrheim. 162-173 [doi]
• TESRAC: A Framework for Test Suite Reduction Assessment at ScaleJoão Becho, Frederico Cerveira, João Leitão 0001, Rui André Oliveira. 174-184 [doi]
• Symbolic Verification of Message Signatures in MPIHengbiao Yu, Banghu Yin, Xin Yi. 185-195 [doi]
• Providing Real-time Assistance for Repairing Runtime Exceptions using Stack Overflow PostsSonal Mahajan, Mukul R. Prasad. 196-207 [doi]
• As Code Testing: Characterizing Test Quality in Open Source Ansible DevelopmentMohammad Mehedi Hassan, Akond Rahman. 208-219 [doi]
• POWER: Program Option-Aware Fuzzer for High Bug Detection AbilityAhcheong Lee, Irfan Ariq, Yunho Kim, Moonzoo Kim. 220-231 [doi]
• Automated Detection of TalkBack Interactive Accessibility Failures in Android ApplicationsAli S. Alotaibi, Paul T. Chiou, William G. J. Halfond. 232-243 [doi]
• A Qualitative Study on the Sources, Impacts, and Mitigation Strategies of Flaky TestsSarra Habchi, Guillaume Haben, Mike Papadakis, Maxime Cordy, Yves Le Traon. 244-255 [doi]
• Automating Differential Testing with Overapproximate Symbolic ExecutionRichard Rutledge, Alessandro Orso. 256-266 [doi]
• FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsAppKe Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano. 267-278 [doi]
• Less is More: Simplification of Test Scenarios for Autonomous Driving System TestingPaolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa. 279-290 [doi]
• Repairing Fragile GUI Test Cases Using Word and Layout EmbeddingJuyeon Yoon, Seungjoon Chung, Kihyuck Shin, Jinhan Kim, Shin Hong, Shin Yoo. 291-301 [doi]
• Comparing Fuzzers on a Level Playing Field with FuzzBenchDario Asprone, Jonathan Metzman, Abhishek Arya, Giovani Guizzo, Federica Sarro. 302-311 [doi]
• Robustness assessment and improvement of a neural network for blood oxygen pressure estimationPaolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini. 312-322 [doi]
• Automatic Error Classification and Root Cause Determination while Replaying Recorded Workload Data at SAP HANANeetha Jambigi, Thomas Bach, Felix Schabernack, Michael Felderer. 323-333 [doi]
• Testing a PL/I Compiler Using Precomputation-based Program GenerationJesse Postema, Johan Fabry, Yannick Barthol, Ana Oprescu. 334-344 [doi]
• SUPERNOVA: Automating Test Selection and Defect Prevention in AAA Video Games Using Risk Based Testing and Machine LearningAlexander Senchenko, Jordan Patterson, Hamman Samuel, Dan Ispir. 345-354 [doi]
• Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling SystemsTobias Bachmann, Djurre van der Wal, Machiel van der Bijl, Daan van der Meij, Ana Oprescu. 355-364 [doi]
• Harvesting Production GraphQL Queries to Detect Schema FaultsLouise Zetterlund, Deepika Tiwari, Martin Monperrus, Benoit Baudry. 365-376 [doi]
• A Framework for Automated API Fuzzing at Enterprise ScaleRiyadh Mahmood, Jay Pennington, Danny Tsang, Tan Tran, Andrea Bogle. 377-388 [doi]
• Assessor: a PO-Based WebDriver Test Suites Generator from Selenium IDE RecordingsMaurizio Leotta, Antonio Molinari, Filippo Ricca. 389-399 [doi]
• CITRUS: Automated Unit Testing Tool for Real-world C++ ProgramsRobert Sebastian Herlim, Yunho Kim, Moonzoo Kim. 400-410 [doi]
• Model-based Testing of Scratch ProgramsKatharina Götz, Patric Feldmeier, Gordon Fraser 0001. 411-421 [doi]
• RiverGame - a game testing tool using artificial intelligenceCiprian Paduraru, Miruna Paduraru, Alin Stefanescu. 422-432 [doi]
• SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded SoftwareTuba Yavuz. 433-443 [doi]
• TackleTest: A Tool for Amplifying Test Generation via Type-Based Combinatorial CoverageRachel Tzoref-Brill, Saurabh Sinha, Antonio Abu Nassar, Victoria Goldin, Haim Kermany. 444-455 [doi]
• DTLS-Fuzzer: A DTLS Protocol State FuzzerPaul Fiterau-Brostean, Bengt Jonsson 0001, Konstantinos Sagonas, Fredrik Tåquist. 456-458 [doi]
• Summary of An Effective Formulation of the Multi-Criteria Test Suite Minimization ProblemOkan Örsan Özener, Hasan Sözer. 459 [doi]
• Summary of SWFC-ART: A Cost-effective Approach for Fixed-Size-Candidate-Set Adaptive Random Testing through Small World GraphsMuhammad Ashfaq, Rubing Huang, Dave Towey, Michael Omari, Dmitry A. Yashunin, Patrick Kwaku Kudjo, Tao Zhang 0001. 460 [doi]
• Summary of Model Checking C++ ProgramsFelipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro. 461 [doi]
• An Experimental and Practical Study on the Equivalent Mutant Connection: An Evolutionary ApproachPedro Delgado-Pérez, Francisco Chicano. 462 [doi]
• Documentation-based functional constraint generation for library methodsRenhe Jiang, Zhengzhao Chen, Yu Pei 0001, Minxue Pan, Tian Zhang 0001, Xuandong Li. 463 [doi]
• Learning-based Mutant Reduction Using Fine-grained Mutation OperatorsYunho Kim, Shin Hong. 464 [doi]
• Locating Code Omission Error due to Incorrect Polymorphic Method CallSudakshina Dutta, Debarshi Kumar Sanyal. 465-468 [doi]
• Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCCMonika Rani Golla, Sangharatna Godboley. 469-472 [doi]
• Poster: EBFL-An Ensemble Classifier based Fault LocalizationArpita Dutta. 473-476 [doi]
• Automated GUI-based Software-Testing Using Deep NeuroevolutionDaniel Zimmermann. 477-479 [doi]
• Automated Program Repair and Test Overfitting: Measurements and Approaches using Formal MethodsAmirfarhad Nilizadeh. 480-482 [doi]
• Debugger-driven Embedded FuzzingMax Eisele. 483-485 [doi]
• Model-Based Testing for System-Level Safety of Autonomous Underwater RobotsSergio Quijano, Mahsa Varshosaz. 486-488 [doi]