ISSTA 2007: London, UK

David S. Rosenblum, Sebastian G. Elbaum (Eds.): Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. ACM 2007, ISBN 978-1-59593-734-6 BibTeX

Dawson R. Engler, Daniel Dunbar:
Under-constrained execution: making automatic code destruction easy and scalable. 1-4
Electronic Edition (ACM DL) BibTeX

Debugging

Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit:
Statistical debugging using compound boolean predicates. 5-15
Electronic Edition (ACM DL) BibTeX
James A. Jones, Mary Jean Harrold, James F. Bowring:
Debugging in Parallel. 16-26
Electronic Edition (ACM DL) BibTeX
Rachel Tzoref, Shmuel Ur, Elad Yom-Tov:
Instrumenting where it hurts: an automatic concurrent debugging technique. 27-38
Electronic Edition (ACM DL) BibTeX

Model checking and components

Graham Hughes, Tevfik Bultan:
Interface grammars for modular software model checking. 39-49
Electronic Edition (ACM DL) BibTeX
Marcelo d'Amorim, Steven Lauterburg, Darko Marinov:
Delta execution for efficient state-space exploration of object-oriented programs. 50-60
Electronic Edition (ACM DL) BibTeX
Panagiotis Manolios, Daron Vroon, Gayatri Subramanian:
Automating component-based system assembly. 61-72
Electronic Edition (ACM DL) BibTeX

Empirical studies of testing approaches

Mark Harman, Phil McMinn:
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. 73-83
Electronic Edition (ACM DL) BibTeX
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Experimental assessment of random testing for object-oriented software. 84-94
Electronic Edition (ACM DL) BibTeX
Tim Trew:
Chasing rainbows: improving software testing in the real world. 95-96
Electronic Edition (ACM DL) BibTeX

Hybrid analysis

Aaron Tomb, Guillaume P. Brat, Willem Visser:
Variably interprocedural program analysis for runtime error detection. 97-107
Electronic Edition (ACM DL) BibTeX
Ken Koster:
Using portfolio theory for better and more consistent quality. 108-117
Electronic Edition (ACM DL) BibTeX
Bruno Dufour, Barbara G. Ryder, Gary Sevitsky:
Blended analysis for performance understanding of framework-based applications. 118-128
Electronic Edition (ACM DL) BibTeX

Testing

Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi:
Interaction testing of highly-configurable systems in the presence of constraints. 129-139
Electronic Edition (ACM DL) BibTeX
Shin Yoo, Mark Harman:
Pareto efficient multi-objective test case selection. 140-150
Electronic Edition (ACM DL) BibTeX
Michael Emmi, Rupak Majumdar, Koushik Sen:
Dynamic test input generation for database applications. 151-162
Electronic Edition (ACM DL) BibTeX

Static analysis

Ray-Yaung Chang, Andy Podgurski, Jiong Yang:
Finding what's not there: a new approach to revealing neglected conditions in software. 163-173
Electronic Edition (ACM DL) BibTeX
Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia:
Static specification mining using automata-based abstractions. 174-184
Electronic Edition (ACM DL) BibTeX

Dynamic analysis

Bin Xin, Xiangyu Zhang:
Efficient online detection of dynamic control dependence. 185-195
Electronic Edition (ACM DL) BibTeX
James A. Clause, Wanchun Li, Alessandro Orso:
Dytan: a generic dynamic taint analysis framework. 196-206
Electronic Edition (ACM DL) BibTeX
Sriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang:
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction. 207-218
Electronic Edition (ACM DL) BibTeX

Fault localization

Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell:
Automating algorithms for the identification of fault-prone files. 219-227
Electronic Edition (ACM DL) BibTeX
Tao Wang, Abhik Roychoudhury:
Hierarchical dynamic slicing. 228-238
Electronic Edition (ACM DL) BibTeX
Xiaoxia Ren, Barbara G. Ryder:
Heuristic ranking of java program edits for fault localization. 239-249
Electronic Edition (ACM DL) BibTeX