default search action
ISSTA 2007: London, UK
- David S. Rosenblum, Sebastian G. Elbaum:
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
Delta execution for efficient state-space exploration of object-oriented programs. 50-60 - Panagiotis Manolios
Automating component-based system assembly. 61-72
Empirical studies of testing approaches
- Mark Harman
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
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
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: