| 2017 | Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. | Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans |
| 2017 | Combinatorial Testing on Implementations of HTML5 Support. | Xi Deng, Tianyong Wu, Jun Yan, Jian Zhang |
| 2017 | A Controlled Experiment on Coverage Maximization of Automated Model-Based Software Test Cases in the Automotive Industry. | Rashid Darwish, Lynnie Nakyanzi Gwosuta, Richard Torkar |
| 2017 | Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking. | Priyanka Darke, Bharti Chimdyalwar, Avriti Chauhan, R. Venkatesh |
| 2017 | Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems. | Filip Cuckov, Grant Rudd, Liam Daly |
| 2017 | Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. | Hayes Converse, Oswaldo Olivo, Sarfraz Khurshid |
| 2017 | Suggestion of Practical Quantification Measuring Method of Test Design Which Can Represent the Current Status. | Sunil Chon, Jihwan Park |
| 2017 | Weighting for Combinatorial Testing by Bayesian Inference. | Eun-Hye Choi, Tsuyoshi Fujiwara, Osamu Mizuno |
| 2017 | Incremental Deductive Verification for Relational Model Transformations. | Zheng Cheng, Massimo Tisi |
| 2017 | How Do Assertions Impact Coverage-Based Test-Suite Reduction? | Junjie Chen, Yanwei Bai, Dan Hao, Lingming Zhang, Lu Zhang, Bing Xie |
| 2017 | Automated and Scalable Mutation Testing. | Thierry Titcheu Chekam |
| 2017 | IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants. | Abraham Chan, Stefan Winter, Habib Saissi, Karthik Pattabiraman, Neeraj Suri |
| 2017 | Applying Combinatorial Testing to Data Mining Algorithms. | Jaganmohan Chandrasekaran, Huadong Feng, Yu Lei, D. Richard Kuhn, Raghu Kacker |
| 2017 | Are CISQ Reliability Measures Practical? A Research Perspective. | Johannes Bruer, Reinhold Plsch, Manuel Windhager |
| 2017 | Planning-Based Security Testing of the SSL/TLS Protocol. | Josip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa |
| 2017 | Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software. | Henning Bergstrom, Eduard Paul Enoiu |
| 2017 | Testing Cache Side-Channel Leakage. | Tiyash Basu, Sudipta Chattopadhyay |
| 2017 | Coverage-Based Reduction of Test Execution Time: Lessons from a Very Large Industrial Project. | Thomas Bach, Artur Andrzejak, Ralf Pannemans |
| 2017 | Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software. | Sara Abbaspour Asadollah, Daniel Sundmark, Hans A. Hansson |
| 2017 | Model-Based API Testing of Apache ZooKeeper. | Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto |
| 2017 | Broadcast vs. Unicast Review Technology: Does It Matter? | Foundjem Armstrong, Foutse Khomh, Bram Adams |
| 2017 | Private API Access and Functional Mocking in Automated Unit Test Generation. | Andrea Arcuri, Gordon Fraser, Ren Just |
| 2017 | NuSeen: A Tool Framework for the NuSMV Model Checker. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2017 | MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2017 | Message from the A-MOST 2017 Chairs. | Paolo Arcaini, Xavier Devroey, Shuai Wang |