| 2004 | A formal approach for modeling and verification of RTCORBA-based applications. Matteo Rossi, Dino Mandrioli |
| 2004 | Active learning for automatic classification of software behavior. James F. Bowring, James M. Rehg, Mary Jean Harrold |
| 2004 | An empirical study of profiling strategies for released software and their impact on testing activities. Sebastian G. Elbaum, Madeline Hardojo |
| 2004 | An experimental evaluation of continuous testing during development. David Saff, Michael D. Ernst |
| 2004 | An optimizing compiler for batches of temporal logic formulas. James R. Ezick |
| 2004 | Automated black-box testing of functional correctness using function approximation. Karl Meinke |
| 2004 | Automating commutativity analysis at the design level. Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson |
| 2004 | Covering arrays for efficient fault characterization in complex configuration spaces. Cemal Yilmaz, Myra B. Cohen, Adam A. Porter |
| 2004 | Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. André Baresel, David W. Binkley, Mark Harman, Bogdan Korel |
| 2004 | Evolutionary testing of classes. Paolo Tonella |
| 2004 | Exploiting purity for atomicity. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
| 2004 | Faster constraint solving with subtypes. Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung |
| 2004 | Improving the adaptability of multi-mode systems via program steering. Lee Lin, Michael D. Ernst |
| 2004 | Model checking XML manipulating software. Xiang Fu, Tevfik Bultan, Jianwen Su |
| 2004 | Modeling and verification of an air traffic concept of operations. César A. Muñoz, Gilles Dowek, Victor Carreño |
| 2004 | On the analytical comparison of testing techniques. Sandro Morasca, Stefano Serra-Capizzano |
| 2004 | Optimal strategies for testing nondeterministic systems. Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |
| 2004 | Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004 George S. Avrunin, Gregg Rothermel |
| 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 | Software assurance by bounded exhaustive testing. Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
| 2004 | Software validation via scalable path-sensitive value flow analysis. Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang |
| 2004 | Static and dynamic analysis of call chains in Java. Atanas Rountev, Scott Kagan, Michael Gibas |
| 2004 | Test input generation with java PathFinder. Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
| 2004 | Testing malware detectors. Mihai Christodorescu, Somesh Jha |
| 2004 | Testing of java web services for robustness. Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott |
| 2004 | The AGEDIS tools for model based testing. Alan Hartman, Kenneth Nagin |
| 2004 | Verifying process models built using parameterized state machines. Barbara Staudt Lerner |
| 2004 | Where the bugs are. Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell |