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

Dawson R. Engler, Daniel Dunbar:
Under-constrained execution: making automatic code destruction easy and scalable. 1-4

Debugging

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

Model checking and components

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

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
Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Experimental assessment of random testing for object-oriented software. 84-94
Tim Trew:
Chasing rainbows: improving software testing in the real world. 95-96

Hybrid analysis

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

Testing

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

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
Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia:
Static specification mining using automata-based abstractions. 174-184

Dynamic analysis

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

Fault localization

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

Last update Tue Feb 14 04:06:06 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page