Table of Contents

• XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path ConditionsCharitha Saumya, Jinkyu Koo, Milind Kulkarni 0001, Saurabh Bagchi. 1-12 [doi]
• Automated Testing of Basic Recognition Capability for Speech Recognition SystemsFutoshi Iwama, Takashi Fukuda. 13-24 [doi]
• Extension-Aware Automated Testing Based on Imperative PredicatesNima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid. 25-36 [doi]
• Parallel Many-Objective Search for Unit TestsVerena Bader, José Campos, Gordon Fraser. 37-47 [doi]
• MemFuzz: Using Memory Accesses to Guide FuzzingNicolas Coppik, Oliver Schwahn, Neeraj Suri. 48-58 [doi]
• SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning PerspectiveHui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang. 59-67 [doi]
• Fixing of Security Vulnerabilities in Open Source Projects: A Case Study of Apache HTTP Server and Apache TomcatValentina Piantadosi, Simone Scalabrino, Rocco Oliveto. 68-78 [doi]
• Similarities Across Libraries: Making a Case for Leveraging Test SuitesDevika Sondhi, Divya Rani, Rahul Purandare. 79-89 [doi]
• BugsJS: a Benchmark of JavaScript BugsPéter Gyimesi, Béla Vancsics, Andrea Stocco 0001, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah 0001. 90-101 [doi]
• You Cannot Fix What You Cannot Find! An Investigation of Fault Localization Bias in Benchmarking Automated Program Repair SystemsKui Liu, Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim 0001, Jacques Klein, Yves Le Traon. 102-113 [doi]
• Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate RepresentationFarah Hariri, August Shi, Vimuth Fernando, Suleman Mahmood, Darko Marinov. 114-124 [doi]
• Testing Machine Learning Algorithms for Balanced Data UsageArnab Sharma, Heike Wehrheim. 125-135 [doi]
• PySE: Automatic Worst-Case Test Generation by Reinforcement LearningJinkyu Koo, Charitha Saumya, Milind Kulkarni 0001, Saurabh Bagchi. 136-147 [doi]
• An RBM Anomaly Detector for the CloudCristina Monni, Mauro Pezzè, Gaetano Prisco. 148-159 [doi]
• An Extensive Study on Cross-Project Predictive Mutation TestingDongyu Mao, Lingchao Chen, Lingming Zhang. 160-171 [doi]
• Efficiently Repairing Internationalization Presentation Failures by Solving Layout ConstraintsAbdulmajeed Alameer, Paul T. Chiou, William G. J. Halfond. 172-182 [doi]
• Automatic Visual Verification of Layout Failures in Responsively Designed Web PagesIbrahim Althomali, Gregory M. Kapfhammer, Phil McMinn. 183-193 [doi]
• Suspend-Less Debugging for Interactive and/or Realtime ProgramsHaruto Tanno, Hideya Iwasaki. 194-205 [doi]
• Directing a Search Towards Execution Properties with a Learned Fitness FunctionLeonid Joffe, David Clark. 206-216 [doi]
• Intent-Preserving Test RepairXiangyu Li, Marcelo d'Amorim, Alessandro Orso. 217-227 [doi]
• Learning to Optimize the Alloy AnalyzerWenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid. 228-239 [doi]
• Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy. 240-251 [doi]
• Do Pseudo Test Suites Lead to Inflated Correlation in Measuring Test Effectiveness?Jie M. Zhang, Lingming Zhang, Dan Hao, Meng Wang, Lu Zhang. 252-263 [doi]
• Coverage-Driven Test Generation for Thread-Safe Classes via Parallel and Conflict DependenciesValerio Terragni, Mauro Pezzè, Francesco Adalberto Bianchi. 264-275 [doi]
• Precise Static Happens-Before Analysis for Detecting UAF Order Violations in AndroidDiyu Wu, Jie Liu, Yulei Sui, Shiping Chen, Jingling Xue. 276-287 [doi]
• An Empirical Assessment of Machine Learning Approaches for Triaging Reports of a Java Static Analysis ToolUgur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter. 288-299 [doi]
• Techniques for Evolution-Aware Runtime VerificationOwolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov. 300-311 [doi]
• iDFlakies: A Framework for Detecting and Partially Classifying Flaky TestsWing Lam, Reed Oei, August Shi, Darko Marinov, Tao Xie 0001. 312-322 [doi]
• Resurgence of Regression Test Selection for C++Ben Fu, Sasa Misailovic, Milos Gligoric. 323-334 [doi]
• On the Evolution of Keyword-Driven Test SuitesRenaud Rwemalika, Marinos Kintis, Mike Papadakis, Yves Le Traon, Pierre Lorrach. 335-345 [doi]
• An Empirical Study on the Use of Defect Prediction for Test Case PrioritizationDavid Paterson, José Campos, Rui Abreu, Gregory M. Kapfhammer, Gordon Fraser, Phil McMinn. 346-357 [doi]
• Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade SystemVladimir Panarin, Alyona Bulda, Iosif Itkin, Alexey Zverev, Kirill Zagorouiko, Murad Mamedov, Alyona Rybakova, Anna Gromova, Elena Treshcheva, Sergey Tishin, Rostislav Yavorskiy. 358-362 [doi]
• Poster: Automatic Consistency Checking of Requirements with ReqVSimone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella. 363-366 [doi]
• Poster: Re-Testing Configured Instances in the Production Environment - A Method for Reducing the Test SuiteOussama Jebbar, Mohamed Aymen Saied, Ferhat Khendek, Maria Toeroe. 367-370 [doi]
• Poster: Aiding Java Developers with Interactive Fault Localization in Eclipse IDEGergõ Balogh, Ferenc Horváth, Árpád Beszédes. 371-374 [doi]
• Poster: Supporting JavaScript Experimentation with BugsJSBéla Vancsics, Péter Gyimesi, Andrea Stocco 0001, Davood Mazinanian, Árpád Beszédes, Rudolf Ferenc, Ali Mesbah 0001. 375-378 [doi]
• Automating Root Cause Analysis via Machine Learning in Agile Software Testing EnvironmentsJulen Kahles, Juha Torronen, Timo Huuhtanen, Alexander Jung. 379-390 [doi]
• Classifying False Positive Static Checker Alarms in Continuous Integration Using Convolutional Neural NetworksSeongmin Lee, Shin Hong, Jungbae Yi, Taeksu Kim, Chul-Joo Kim, Shin Yoo. 391-401 [doi]
• VCIPR: Vulnerable Code is Identifiable When a Patch is Released (Hacker's Perspective)Junaid Akram, Liang Qi, Ping Luo. 402-413 [doi]
• Automated Function Assessment in Driving ScenariosChristian King, Lennart Ries, Christopher Kober, Christoph Wohlfahrt, Eric Sax. 414-419 [doi]
• Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software SystemsDominik Hellhake, Tobias Schmid, Stefan Wagner 0001. 420-429 [doi]
• TestSage: Regression Test Selection for Large-Scale Web Service TestingHua Zhong, Lingming Zhang, Sarfraz Khurshid. 430-440 [doi]
• Testing Android Incoming CallsAna C. R. Paiva, Marco A. Goncalves, Andre R. Barros. 441-448 [doi]
• Why Does this App Need this Data? Automatic Tightening of Resource AccessNataniel P. Borges Jr., Andreas Zeller. 449-456 [doi]
• Efficient Automated Decomposition of Build Targets at Large-ScaleLukás Jendele, Markus Schwenk, Diana Cremarenco, Ivan Janicijevic, Mikhail Rybalkin. 457-464 [doi]
• Program Repair at Arbitrary Fault DepthBesma Khaireddine, Matias Martinez, Ali Mili. 465-472 [doi]
• SmokeOut: An Approach for Testing Clustering ImplementationsVincenzo Musco, Xin Yin, Iulian Neamtiu. 473-480 [doi]
• AADL-Based Safety Analysis Approaches for Safety-Critical SystemsXiaomin Wei. 481-482 [doi]
• Testing for Implicit Inconsistencies in Documentation and ImplementationDevika Sondhi. 483-485 [doi]
• Automated Scenario-Based Integration Testing of Time-Constrained Distributed SystemsBruno Lima. 486-488 [doi]
• Using Testing to Repair ModelsMarco Radavelli. 489-491 [doi]
• Operational Profile and Software Testing: Aligning User Interest and Test StrategyLuiz Cavamura Junior. 492-494 [doi]
• A Model-Based Approach to Generate Dynamic Synthetic Test DataChao Tan. 495-497 [doi]