| 2014 | Automated Test Generation from Vulnerability Signatures. | Abdulbaki Aydin, Muath Alkhalaf, Tevfik Bultan |
| 2014 | An Assessment of the Quality of Automated Program Operator Repair. | Fatmah Yousef Assiri, James M. Bieman |
| 2014 | Lossless Reduction of Execution Profiles Using a Genetic Algorithm. | Rawad Abou Assi, Wes Masri |
| 2014 | Validation of Models and Tests for Constrained Combinatorial Interaction Testing. | Paolo Arcaini, Angelo Gargantini, Paolo Vavassori |
| 2014 | Data-Flow Testing in the Large. | Roberto Paulo Andrioli de Araujo, Marcos Lordello Chaim |
| 2014 | On Modeling and Testing Security Properties of Vehicular Networks. | Mohamed H. E. Aouadi, Khalifa Toumi, Ana R. Cavalli |
| 2014 | Establishing Theoretical Minimal Sets of Mutants. | Paul Ammann, Mrcio Eduardo Delamaro, Jeff Offutt |
| 2014 | A Search-Based Approach for Cost-Effective Software Test Automation Decision Support and an Industrial Case Study. | Yasaman Amannejad, Vahid Garousi, Rob Irving, Zahra Sahaf |
| 2014 | TAIC PART 2014 Workshop Overview. | Nadia Alshahwan, Michael Felderer, Gregory M. Kapfhammer |
| 2014 | Model-Based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results. | Shaukat Ali, Hadi Hemmati |
| 2014 | Murphy Tools: Utilizing Extracted GUI Models for Industrial Software Testing. | Pekka Aho, Matias Suarez, Teemu Kanstrn, Atif M. Memon |
| 2014 | Empirical Investigation of the Web Browser Attack Surface under Cross-Site Scripting: An Urgent Need for Systematic Security Regression Testing. | Erwan Abgrall, Yves Le Traon, Sylvain Gombault, Martin Monperrus |
| 2013 | Generating C# Programs from CSP# Models. | Huiquan Zhu, Jin Song Dong, Bimlesh Wadhwa, Shang-Wei Lin |
| 2013 | On Adequacy of Assertions in Automated Test Suites: An Empirical Investigation. | Junji Zhi, Vahid Garousi |
| 2013 | Cascade: A Test Generation Tool for Combinatorial Testing. | Yong Zhao, Zhiqiang Zhang, Jun Yan, Jian Zhang |
| 2013 | Oracle-based Regression Test Selection. | Tingting Yu, Xiao Qu, Mithun Acharya, Gregg Rothermel |
| 2013 | ACTS: A Combinatorial Test Generation Tool. | Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn |
| 2013 | An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation. | Linbin Yu, Yu Lei, Mehra Nouroz Borazjany, Raghu Kacker, D. Richard Kuhn |
| 2013 | A Call Graph Mining and Matching Based Defect Localization Technique. | Anis Yousefi, Alan Wassyng |
| 2013 | Scaling Model Checking for Test Generation Using Dynamic Inference. | Anand Yeolekar, Divyesh Unadkat, Vivek Agarwal, Shrawan Kumar, R. Venkatesh |
| 2013 | Towards Formal Description of Standards for Automotive Operating Systems. | Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi |
| 2013 | Efficient Mutation Analysis of Relational Database Structure Using Mutant Schemata and Parallelisation. | Chris J. Wright, Gregory M. Kapfhammer, Phil McMinn |
| 2013 | Fifty Shades of Grey in SOA Testing. | Franz Wotawa, Marco Schulz, Ingo Pill, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte, Philipp Hoenisch, Schahram Dustdar |
| 2013 | Kepler - Raising Browser Security Awareness. | Thomas Wahlberg, Petri Paakkola, Christian Wieser, Marko Laakso, Juha Rning |
| 2013 | Evaluation of t-wise Approach for Testing Logical Expressions in Software. | Sergiy Vilkomir, Oleksii Starov, Ranjan Bhambroo |