ISSTA 2004: Boston, Massachusetts, USA

@proceedings{DBLP:conf/issta/2004,
  editor    = {George S. Avrunin and
               Gregg Rothermel},
  title     = {Proceedings of the ACM/SIGSOFT International Symposium on Software
               Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA,
               July 11-14, 2004},
  booktitle = {ISSTA},
  publisher = {ACM},
  year      = {2004},
  isbn      = {1-58113-820-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Program analysis I

• Atanas Rountev, Scott Kagan, Michael Gibas:
  Static and dynamic analysis of call chains in Java. 1-11
  Electronic Edition (ACM DL) BibTeX
• Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang:
  Software validation via scalable path-sensitive value flow analysis. 12-22
  Electronic Edition (ACM DL) BibTeX
• Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott:
  Testing of java web services for robustness. 23-34
  Electronic Edition (ACM DL) BibTeX
• Mihai Christodorescu, Somesh Jha:
  Testing malware detectors. 34-44
  Electronic Edition (ACM DL) BibTeX

Testing I

• Cemal Yilmaz, Myra B. Cohen, Adam A. Porter:
  Covering arrays for efficient fault characterization in complex configuration spaces. 45-54
  Electronic Edition (ACM DL) BibTeX
• Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp:
  Optimal strategies for testing nondeterministic systems. 55-64
  Electronic Edition (ACM DL) BibTeX

Empirical studies

• Sebastian G. Elbaum, Madeline Hardojo:
  An empirical study of profiling strategies for released software and their impact on testing activities. 65-75
  Electronic Edition (ACM DL) BibTeX
• David Saff, Michael D. Ernst:
  An experimental evaluation of continuous testing during development. 76-85
  Electronic Edition (ACM DL) BibTeX
• Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell:
  Where the bugs are. 86-96
  Electronic Edition (ACM DL) BibTeX

Test generation

• Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid:
  Test input generation with java PathFinder. 97-107
  Electronic Edition (ACM DL) BibTeX
• André Baresel, David Binkley, Mark Harman, Bogdan Korel:
  Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. 108-118
  Electronic Edition (ACM DL) BibTeX
• Paolo Tonella:
  Evolutionary testing of classes. 119-128
  Electronic Edition (ACM DL) BibTeX
• A. Hartman, K. Nagin:
  The AGEDIS tools for model based testing. 129-132
  Electronic Edition (ACM DL) BibTeX

Testing II

• Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson:
  Software assurance by bounded exhaustive testing. 133-142
  Electronic Edition (ACM DL) BibTeX
• Karl Meinke:
  Automated black-box testing of functional correctness using function approximation. 143-153
  Electronic Edition (ACM DL) BibTeX
• Sandro Morasca, Stefano Serra Capizzano:
  On the analytical comparison of testing techniques. 154-164
  Electronic Edition (ACM DL) BibTeX

Model checking I

• Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson:
  Automating commutativity analysis at the design level. 165-174
  Electronic Edition (ACM DL) BibTeX
• César Muñoz, Gilles Dowek, Victor Carreño:
  Modeling and verification of an air traffic concept of operations. 175-182
  Electronic Edition (ACM DL) BibTeX
• James Ezick:
  An optimizing compiler for batches of temporal logic formulas. 183-194
  Electronic Edition (ACM DL) BibTeX

Program analysis II

• James F. Bowring, James M. Rehg, Mary Jean Harrold:
  Active learning for automatic classification of software behavior. 195-205
  Electronic Edition (ACM DL) BibTeX
• Lee Lin, Michael D. Ernst:
  Improving the adaptability of multi-mode systems via program steering. 206-216
  Electronic Edition (ACM DL) BibTeX
• S. Ramesh, Aditya Rajeev Kulkarni, V. Kamat:
  Slicing tools for synchronous reactive programs. 217-220
  Electronic Edition (ACM DL) BibTeX

Program analysis III

• Cormac Flanagan, Stephen N. Freund, Shaz Qadeer:
  Exploiting purity for atomicity. 221-231
  Electronic Edition (ACM DL) BibTeX
• Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung:
  Faster constraint solving with subtypes. 232-242
  Electronic Edition (ACM DL) BibTeX
• Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved:
  SABER: smart analysis based error reduction. 243-251
  Electronic Edition (ACM DL) BibTeX

Model checking II

• Xiang Fu, Tevfik Bultan, Jianwen Su:
  Model checking XML manipulating software. 252-262
  Electronic Edition (ACM DL) BibTeX
• Matteo Rossi, Dino Mandrioli:
  A formal approach for modeling and verification of RTCORBA-based applications. 263-273
  Electronic Edition (ACM DL) BibTeX
• Barbara Staudt Lerner:
  Verifying process models built using parameterized state machines. 274-284
  Electronic Edition (ACM DL) BibTeX