| 2013 | An empirical study of PHP feature usage: a static analysis perspective. | Mark Hills, Paul Klint, Jurgen J. Vinju |
| 2013 | Generation of Java programs properties from test purposes. | Simone Hanazumi, Ana Cristina Vieira de Melo |
| 2013 | Combining model checking and testing with an application to reliability prediction and distribution. | Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang |
| 2013 | Selective mutation testing for concurrent code. | Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam |
| 2013 | Comparing non-adequate test suites using coverage criteria. | Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov |
| 2013 | Analysis of performance regression testing data by transaction profiles. | Shadi Ghaith |
| 2013 | Automatic, load-independent detection of performance regressions by transaction profiles. | Shadi Ghaith, Miao Wang, Philip Perry, John Murphy |
| 2013 | Does automated white-box test generation really help software testers? | Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg |
| 2013 | Analysis and testing of matlab simulink models: a systematic mapping study. | Frank Elberzhager, Alla Rosbach, Thomas Bauer |
| 2013 | Efficient and flexible GUI test execution via test merging. | Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, Saurabh Sinha |
| 2013 | Practical experience and evaluation of continuous code static analysis with C++Test. | Vincenzo Ciriello, Gabriella Carrozza, Stefano Rosati |
| 2013 | Finding rare numerical stability errors in concurrent computations. | Hana Chockler, Karine Even, Eran Yahav |
| 2013 | Generation of test databases using sampling methods. | Teodora Sandra Buda |
| 2013 | Formal safety proof: a real case study in a railway interlocking system. | Andrea Bonacchi |
| 2013 | Variable and thread bounding for systematic testing of multithreaded programs. | Sandeep Bindal, Sorav Bansal, Akash Lal |
| 2013 | Collecting a heap of shapes. | Earl T. Barr, Christian Bird, Mark Marron |
| 2013 | Towards a quality modelling language for component-based systems (QML/CS). | Abdulrahman Alreshidi, Steffen Zschaler, Peter McBurney |
| 2013 | Early detection of faults related to database schematic changes. | Deepak Garg, Amitava Datta |
| 2012 | Regression mutation testing. | Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid |
| 2012 | Finding errors in multithreaded GUI applications. | Sai Zhang, Hao L, Michael D. Ernst |
| 2012 | A first step towards algorithm plagiarism detection. | Fangfang Zhang, Yoon-chan Jhi, Dinghao Wu, Peng Liu, Sencun Zhu |
| 2012 | Compositional load test generation for software pipelines. | Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer |
| 2012 | CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications. | Ke Zhai, Boni Xu, W. K. Chan, T. H. Tse |
| 2012 | Multi-slicing: a compiler-supported parallel approach to data dependence profiling. | Hongtao Yu, Zhiyuan Li |
| 2012 | Cooperative types for controlling thread interference in Java. | Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan |