ISSTA 2008: Seattle, WA, USA

Barbara G. Ryder, Andreas Zeller (Eds.): Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008. ACM 2008, ISBN 978-1-60558-050-0 BibTeX

Keynote

James R. Larus:
The real value of testing. 1-2
Electronic Edition (ACM DL) BibTeX

Symbolic and concrete execution

Nels Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons:
Proofs from tests. 3-14
Electronic Edition (ACM DL) BibTeX
Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape:
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. 15-26
Electronic Edition (ACM DL) BibTeX
Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar:
Testing for buffer overflows with length abstraction. 27-38
Electronic Edition (ACM DL) BibTeX
Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid:
Efficient solving of structural constraints. 39-50
Electronic Edition (ACM DL) BibTeX

Regression testing

Hyunsook Do, Gregg Rothermel:
Using sensitivity analysis to create simplified economic models for regression testing. 51-62
Electronic Edition (ACM DL) BibTeX
Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter:
Effective and scalable software compatibility testing. 63-74
Electronic Edition (ACM DL) BibTeX
Xiao Qu, Myra B. Cohen, Gregg Rothermel:
Configuration-aware regression testing: an empirical study of sampling and prioritization. 75-86
Electronic Edition (ACM DL) BibTeX

Case studies

Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball:
Finding errors in .net with feedback-directed random testing. 87-96
Electronic Edition (ACM DL) BibTeX
Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss:
Customization change impact analysis for erp professionals via program slicing. 97-108
Electronic Edition (ACM DL) BibTeX
Goh Kondoh, Tamiya Onodera:
Finding bugs in java native interface programs. 109-118
Electronic Edition (ACM DL) BibTeX

Keynote

Ben Liblit:
Cooperative debugging with five hundred million test cases. 119-120
Electronic Edition (ACM DL) BibTeX

Metrics and threads

Raymond P. L. Buse, Westley Weimer:
A metric for software readability. 121-130
Electronic Edition (ACM DL) BibTeX
Rüdiger Lincke, Jonas Lundberg, Welf Löwe:
Comparing software metrics tools. 131-142
Electronic Edition (ACM DL) BibTeX
Chen Tian, Vijay Nagarajan, Rajiv Gupta, Sriraman Tallam:
Dynamic recognition of synchronization operations for improved data race detection. 143-154
Electronic Edition (ACM DL) BibTeX
Eric Bodden, Klaus Havelund:
Racer: effective race detection using aspectj. 155-166
Electronic Edition (ACM DL) BibTeX

Fault localization

Dennis Jeffrey, Neelam Gupta, Rajiv Gupta:
Fault localization using value replacement. 167-178
Electronic Edition (ACM DL) BibTeX
Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky:
AFID: an automated fault identification tool. 179-188
Electronic Edition (ACM DL) BibTeX
George K. Baah, Andy Podgurski, Mary Jean Harrold:
The probabilistic program dependence graph and its application to fault diagnosis. 189-200
Electronic Edition (ACM DL) BibTeX

Static analysis

Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst:
Practical pluggable types for java. 201-212
Electronic Edition (ACM DL) BibTeX
Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda:
Verifying dereference safety via expanding-scope analysis. 213-224
Electronic Edition (ACM DL) BibTeX
Guoqing Xu, Atanas Rountev:
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. 225-236
Electronic Edition (ACM DL) BibTeX

Web and security

Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna:
Are your votes really counted?: testing the security of real-world electronic voting systems. 237-248
Electronic Edition (ACM DL) BibTeX
Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su:
Dynamic test input generation for web applications. 249-260
Electronic Edition (ACM DL) BibTeX
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst:
Finding bugs in dynamic web applications. 261-272
Electronic Edition (ACM DL) BibTeX

Inference

Raymond P. L. Buse, Westley Weimer:
Automatic documentation inference for exceptions. 273-282
Electronic Edition (ACM DL) BibTeX
Yamini Kannan, Koushik Sen:
Universal symbolic execution and its application to likely data structure invariant generation. 283-294
Electronic Edition (ACM DL) BibTeX
Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta:
Dynamic inference of likely data preconditions over predicates by tree learning. 295-306
Electronic Edition (ACM DL) BibTeX

Workshops

Premkumar T. Devanbu, Brendan Murphy, Nachiappan Nagappan, Thomas Zimmermann, Valentin Dallmeier:
DEFECTS 2008: international workshop on defects in large software systems. 307-308
Electronic Edition (ACM DL) BibTeX
Shmuel Ur, Scott D. Stoller, Eitan Farchi:
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). 309-310
Electronic Edition (ACM DL) BibTeX
Tevfik Bultan, Tao Xie:
Workshop on testing, analysis and verification of web software (TAV-WEB 2008). 311-312
Electronic Edition (ACM DL) BibTeX
Ben Liblit, Atanas Rountev:
WODA 2008: the sixth international workshop on dynamic analysis. 313-314
Electronic Edition (ACM DL) BibTeX
Darko Marinov, Wolfram Schulte:
Workshop on state-space exploration for automated testing (SSEAT 2008). 315-316
Electronic Edition (ACM DL) BibTeX