ISSTA 2007: London, UK

• 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