default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 2006: Portland, Maine, USA
- Lori L. Pollock, Mauro Pezzè
:
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. ACM 2006, ISBN 1-59593-263-1
Session 1: test case selection and generation
- Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos:
TimeAware test suite prioritization. 1-12 - Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella:
The species per path approach to SearchBased test data generation. 13-24 - Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller:
Coverage metrics for requirements-based testing. 25-36 - Willem Visser, Corina S. Pasareanu, Radek Pelánek:
Test input generation for java containers using state matching. 37-48
Session 2: empirical studies
- Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel:
Experimental program analysis: a new program analysis paradigm. 49-60 - Robert M. Bell, Thomas J. Ostrand, Elaine J. Weyuker:
Looking for bugs in all the right places. 61-72 - Stefan Wagner:
A model and sensitivity analysis of the quality economics of defect-detection techniques. 73-84
Session 3: modular reasoning
- Dick Hamlet:
Subdomain testing of units and systems with state. 85-96 - Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke:
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. 97-108 - Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson:
Modular verification of code with SAT. 109-120
Session 4: static analysis
- Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia:
Role-Based access control consistency validation. 121-132 - Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
Effective typestate verification in the presence of aliasing. 133-144 - Greta Yorsh, Thomas Ball, Mooly Sagiv:
Testing, abstraction, theorem proving: better together! 145-156 - Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke:
Using model checking with symbolic execution to verify parallel numerical programs. 157-168
Session 5: test execution
- Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia:
From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. 169-180 - Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen:
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. 181-190 - Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng:
The case for analysis preserving language transformation. 191-202
Session 6: test automation
- Oksana Tkachuk, Sreeranga P. Rajan:
Application of automated environment generation to commercial software. 203-214 - Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek:
Automated testing of stochastic systems: a statistically grounded approach. 215-224 - Raimondas Lencevicius, Edu Metz:
Performance assertions for mobile devices. 225-232
Session 7: dynamic analysis
- Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard:
Inference and enforcement of data structure consistency specifications. 233-244 - Christoph Csallner, Yannis Smaragdakis:
DSD-Crasher: a hybrid analysis tool for bug finding. 245-254 - Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst:
Dynamic inference of abstract types. 255-265
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 2026-05-15 23:24 CEST 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:
