• 
  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 updated on Sat May 18 05:18:33 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page