| 2006 | Is adaptive random testing really better than random testing. | Tsong Yueh Chen, Fei-Ching Kuo |
| 2006 | Role-Based access control consistency validation. | Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia |
| 2006 | Towards an architectural approach for the dynamic and automatic composition of software components. | Antonio Bucchiarone, Andrea Polini, Patrizio Pelliccione, Massimo Tivoli |
| 2006 | From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. | Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia |
| 2006 | Confirmation of deadlock potentials detected by runtime analysis. | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier |
| 2006 | Producing scheduling that causes concurrent programs to fail. | Yosi Ben-Asher, Yaniv Eytani, Eitan Farchi, Shmuel Ur |
| 2006 | Looking for bugs in all the right places. | Robert M. Bell, Thomas J. Ostrand, Elaine J. Weyuker |
| 2006 | A theory of data race detection. | Utpal Banerjee, Brian Bliss, Zhiqiang Ma, Paul Petersen |
| 2006 | Towards a fault model for AspectJ programs: step 1 -- pointcut faults. | Jon S. Bkken, Roger T. Alexander |
| 2006 | Tool support for randomized unit testing. | James H. Andrews, Susmita Haldar, Yong Lei, Felix Chun Hang Li |
| 2006 | APTE: automated pointcut testing for AspectJ programs. | Prasanth Anbalagan, Tao Xie |
| 2006 | Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. | Rahul Agarwal, Scott D. Stoller |
| 2004 | Covering arrays for efficient fault characterization in complex configuration spaces. | Cemal Yilmaz, Myra B. Cohen, Adam A. Porter |
| 2004 | Test input generation with java PathFinder. | Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
| 2004 | Evolutionary testing of classes. | Paolo Tonella |
| 2004 | Software assurance by bounded exhaustive testing. | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
| 2004 | An experimental evaluation of continuous testing during development. | David Saff, Michael D. Ernst |
| 2004 | Static and dynamic analysis of call chains in Java. | Atanas Rountev, Scott Kagan, Michael Gibas |
| 2004 | A formal approach for modeling and verification of RTCORBA-based applications. | Matteo Rossi, Dino Mandrioli |
| 2004 | SABER: smart analysis based error reduction. | Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved |
| 2004 | Slicing tools for synchronous reactive programs. | S. Ramesh, Aditya Rajeev Kulkarni, Viraj Kamat |
| 2004 | Where the bugs are. | Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell |
| 2004 | Optimal strategies for testing nondeterministic systems. | Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |
| 2004 | Modeling and verification of an air traffic concept of operations. | Csar A. Muoz, Gilles Dowek, Victor Carreo |
| 2004 | On the analytical comparison of testing techniques. | Sandro Morasca, Stefano Serra-Capizzano |