| 2010 | A platform for search-based testing of concurrent software. | Bohuslav Krena, Zdenek Letko, Toms Vojnar, Shmuel Ur |
| 2010 | A study on agility and testing processes in software organizations. | Vesa Kettunen, Jussi Kasurinen, Ossi Taipale, Kari Smolander |
| 2010 | Automated analysis of load testing results. | Zhen Ming Jiang |
| 2010 | OCAT: object capture-based automated testing. | Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang |
| 2010 | Dsc+Mock: a test case + mock class generator in support of coding against interfaces. | Mainul Islam, Christoph Csallner |
| 2010 | DSDSR: a tool that uses dynamic symbolic execution for data structure repair. | Ishtiaque Hussain, Christoph Csallner |
| 2010 | An approach for modeling dynamic analysis using ontologies. | Newres Al Haider, Paddy Nixon, Benoit Gaudin |
| 2010 | Learning from 6, 000 projects: lightweight cross-project anomaly detection. | Natalie Gruska, Andrzej Wasylkowski, Andreas Zeller |
| 2010 | Proving memory safety of floating-point computations by combining static and dynamic program analysis. | Patrice Godefroid, Johannes Kinder |
| 2010 | Robust non-intrusive record-replay with processor extraction. | Filippo Gioachin, Gengbin Zheng, Laxmikant V. Kal |
| 2010 | Analysis of invariants for efficient bounded verification. | Juan P. Galeotti, Nicols Rosner, Carlos Lpez Pombo, Marcelo F. Frias |
| 2010 | Mutation-driven generation of unit tests and oracles. | Gordon Fraser, Andreas Zeller |
| 2010 | Debugging support tool for MCAPI applications. | Mohamed Elwakil, Zijiang Yang |
| 2010 | Open virtualization framework for testing ground systems. | Nuno Duro, Rui Santos, Joo Loureno, Herv Paulino, Joo Martins |
| 2010 | Modeling consumer-perceived web application fault severities for testing. | Kinga Dobolyi, Westley Weimer |
| 2010 | On test repair using symbolic execution. | Brett Daniel, Tihomir Gvero, Darko Marinov |
| 2010 | Generating test cases for specification mining. | Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller |
| 2010 | Automatically identifying critical input regions and code in applications. | Michael Carbin, Martin C. Rinard |
| 2010 | Strict control dependence and its effect on dynamic information flow analyses. | Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu |
| 2010 | Causal inference for statistical fault localization. | George K. Baah, Andy Podgurski, Mary Jean Harrold |
| 2010 | The Google FindBugs fixit. | Nathaniel Ayewah, William W. Pugh |
| 2010 | Directed test generation for effective fault localization. | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
| 2010 | Formal analysis of the effectiveness and predictability of random testing. | Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand |
| 2010 | Profiling of real-world web applications. | Hugo Menino Aguiar, Joo Costa Seco, Lcio Ferro |
| 2009 | Time-aware test-case prioritization using integer linear programming. | Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei |