| 2010 | A study on agility and testing processes in software organizations. Vesa Kettunen, Jussi Kasurinen, Ossi Taipale, Kari Smolander |
| 2010 | ASSURE: automated support for secure and usable requirements engineering. Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson |
| 2010 | Analysis of invariants for efficient bounded verification. Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias |
| 2010 | Analyzing concurrency bugs using dual slicing. Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan |
| 2010 | Automated analysis of load testing results. Zhen Ming Jiang |
| 2010 | Automated fixing of programs with contracts. Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller |
| 2010 | Automatic detection of unsafe component loadings. Taeho Kwon, Zhendong Su |
| 2010 | Automatically identifying critical input regions and code in applications. Michael Carbin, Martin C. Rinard |
| 2010 | Causal inference for statistical fault localization. George K. Baah, Andy Podgurski, Mary Jean Harrold |
| 2010 | Directed test generation for effective fault localization. Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
| 2010 | Exploiting program dependencies for scalable multiple-path symbolic execution. Raúl A. Santelices, Mary Jean Harrold |
| 2010 | Formal analysis of the effectiveness and predictability of random testing. Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand |
| 2010 | Generating test cases for specification mining. Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller |
| 2010 | Learning from 6, 000 projects: lightweight cross-project anomaly detection. Natalie Gruska, Andrzej Wasylkowski, Andreas Zeller |
| 2010 | Modeling consumer-perceived web application fault severities for testing. Kinga Dobolyi, Westley Weimer |
| 2010 | Mutation-driven generation of unit tests and oracles. Gordon Fraser, Andreas Zeller |
| 2010 | N-version disassembly: differential testing of x86 disassemblers. Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi |
| 2010 | OCAT: object capture-based automated testing. Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang |
| 2010 | On test repair using symbolic execution. Brett Daniel, Tihomir Gvero, Darko Marinov |
| 2010 | Parallel symbolic execution for structural test generation. Matt Staats, Corina S. Pasareanu |
| 2010 | Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su |
| 2010 | Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010 Paolo Tonella, Alessandro Orso |
| 2010 | Proving memory safety of floating-point computations by combining static and dynamic program analysis. Patrice Godefroid, Johannes Kinder |
| 2010 | Software fault prediction tool. Thomas J. Ostrand, Elaine J. Weyuker |
| 2010 | Strict control dependence and its effect on dynamic information flow analyses. Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu |
| 2010 | Testing system virtual machines. Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |
| 2010 | The Google FindBugs fixit. Nathaniel Ayewah, William W. Pugh |