Abstract is missing.
- Under-constrained execution: making automatic code destruction easy and scalableDawson R. Engler, Daniel Dunbar. 1-4 [doi]
- Statistical debugging using compound boolean predicatesPiramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit. 5-15 [doi]
- Debugging in ParallelJames A. Jones, Mary Jean Harrold, James F. Bowring. 16-26 [doi]
- Instrumenting where it hurts: an automatic concurrent debugging techniqueRachel Tzoref, Shmuel Ur, Elad Yom-Tov. 27-38 [doi]
- Interface grammars for modular software model checkingGraham Hughes, Tevfik Bultan. 39-49 [doi]
- Delta execution for efficient state-space exploration of object-oriented programsMarcelo d Amorim, Steven Lauterburg, Darko Marinov. 50-60 [doi]
- Automating component-based system assemblyPanagiotis Manolios, Daron Vroon, Gayatri Subramanian. 61-72 [doi]
- A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generationMark Harman, Phil McMinn. 73-83 [doi]
- Experimental assessment of random testing for object-oriented softwareIlinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer. 84-94 [doi]
- Chasing rainbows: improving software testing in the real worldTim Trew. 95-96 [doi]
- Variably interprocedural program analysis for runtime error detectionAaron Tomb, Guillaume P. Brat, Willem Visser. 97-107 [doi]
- Using portfolio theory for better and more consistent qualityKen Koster. 108-117 [doi]
- Blended analysis for performance understanding of framework-based applicationsBruno Dufour, Barbara G. Ryder, Gary Sevitsky. 118-128 [doi]
- Interaction testing of highly-configurable systems in the presence of constraintsMyra B. Cohen, Matthew B. Dwyer, Jiangfan Shi. 129-139 [doi]
- Pareto efficient multi-objective test case selectionShin Yoo, Mark Harman. 140-150 [doi]
- Dynamic test input generation for database applicationsMichael Emmi, Rupak Majumdar, Koushik Sen. 151-162 [doi]
- Finding what s not there: a new approach to revealing neglected conditions in softwareRay-Yaung Chang, Andy Podgurski, Jiong Yang. 163-173 [doi]
- Static specification mining using automata-based abstractionsSharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia. 174-184 [doi]
- Efficient online detection of dynamic control dependenceBin Xin, Xiangyu Zhang. 185-195 [doi]
- Dytan: a generic dynamic taint analysis frameworkJames A. Clause, Wanchun Li, Alessandro Orso. 196-206 [doi]
- Enabling tracing Of long-running multithreaded programs via dynamic execution reductionSriraman Tallam, Chen Tian, Rajiv Gupta, Xiangyu Zhang. 207-218 [doi]
- Automating algorithms for the identification of fault-prone filesThomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell. 219-227 [doi]
- Hierarchical dynamic slicingTao Wang, Abhik Roychoudhury. 228-238 [doi]
- Heuristic ranking of java program edits for fault localizationXiaoxia Ren, Barbara G. Ryder. 239-249 [doi]