Abstract is missing.
- Static and dynamic analysis of call chains in JavaAtanas Rountev, Scott Kagan, Michael Gibas. 1-11 [doi]
- Software validation via scalable path-sensitive value flow analysisNurit Dor, Stephen Adams, Manuvir Das, Zhe Yang. 12-22 [doi]
- Testing of java web services for robustnessChen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott. 23-34 [doi]
- Testing malware detectorsMihai Christodorescu, Somesh Jha. 34-44 [doi]
- Covering arrays for efficient fault characterization in complex configuration spacesCemal Yilmaz, Myra B. Cohen, Adam A. Porter. 45-54 [doi]
- Optimal strategies for testing nondeterministic systemsLev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp. 55-64 [doi]
- An empirical study of profiling strategies for released software and their impact on testing activitiesSebastian G. Elbaum, Madeline Hardojo. 65-75 [doi]
- An experimental evaluation of continuous testing during developmentDavid Saff, Michael D. Ernst. 76-85 [doi]
- Where the bugs areThomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell. 86-96 [doi]
- Test input generation with java PathFinderWillem Visser, Corina S. Pasareanu, Sarfraz Khurshid. 97-107 [doi]
- Evolutionary testing in the presence of loop-assigned flags: a testability transformation approachAndré Baresel, David Binkley, Mark Harman, Bogdan Korel. 108-118 [doi]
- Evolutionary testing of classesPaolo Tonella. 119-128 [doi]
- The AGEDIS tools for model based testingA. Hartman, K. Nagin. 129-132 [doi]
- Software assurance by bounded exhaustive testingKevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson. 133-142 [doi]
- Automated black-box testing of functional correctness using function approximationKarl Meinke. 143-153 [doi]
- On the analytical comparison of testing techniquesSandro Morasca, Stefano Serra Capizzano. 154-164 [doi]
- Automating commutativity analysis at the design levelGreg Dennis, Robert Seater, Derek Rayside, Daniel Jackson. 165-174 [doi]
- Modeling and verification of an air traffic concept of operationsCésar Muñoz, Gilles Dowek, Victor Carreño. 175-182 [doi]
- An optimizing compiler for batches of temporal logic formulasJames Ezick. 183-194 [doi]
- Active learning for automatic classification of software behaviorJames F. Bowring, James M. Rehg, Mary Jean Harrold. 195-205 [doi]
- Improving the adaptability of multi-mode systems via program steeringLee Lin, Michael D. Ernst. 206-216 [doi]
- Slicing tools for synchronous reactive programsS. Ramesh, Aditya Rajeev Kulkarni, V. Kamat. 217-220 [doi]
- Exploiting purity for atomicityCormac Flanagan, Stephen N. Freund, Shaz Qadeer. 221-231 [doi]
- Faster constraint solving with subtypesJonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung. 232-242 [doi]
- SABER: smart analysis based error reductionDarrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved. 243-251 [doi]
- Model checking XML manipulating softwareXiang Fu, Tevfik Bultan, Jianwen Su. 252-262 [doi]
- A formal approach for modeling and verification of RTCORBA-based applicationsMatteo Rossi, Dino Mandrioli. 263-273 [doi]
- Verifying process models built using parameterized state machinesBarbara Staudt Lerner. 274-284 [doi]