ISSTA 2006:
Portland,
Maine,
USA
Lori L. Pollock, Mauro Pezzè (Eds.):
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 BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Phil McMinn, Mark Harman, David Binkley, Paolo Tonella:
The species per path approach to SearchBased test data generation.
13-24
Electronic Edition (ACM DL) BibTeX
- Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller:
Coverage metrics for requirements-based testing.
25-36
Electronic Edition (ACM DL) BibTeX
- Willem Visser, Corina S. Pasareanu, Radek Pelánek:
Test input generation for java containers using state matching.
37-48
Electronic Edition (ACM DL) BibTeX
Session 2:
empirical studies
Session 3:
modular reasoning
Session 4:
static analysis
- Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia:
Role-Based access control consistency validation.
121-132
Electronic Edition (ACM DL) BibTeX
- Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
Effective typestate verification in the presence of aliasing.
133-144
Electronic Edition (ACM DL) BibTeX
- Greta Yorsh, Thomas Ball, Mooly Sagiv:
Testing, abstraction, theorem proving: better together!
145-156
Electronic Edition (ACM DL) BibTeX
- Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke:
Using model checking with symbolic execution to verify parallel numerical programs.
157-168
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
- Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen:
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects.
181-190
Electronic Edition (ACM DL) BibTeX
- Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng:
The case for analysis preserving language transformation.
191-202
Electronic Edition (ACM DL) BibTeX
Session 6:
test automation
Session 7:
dynamic analysis
Copyright © Sat May 16 23:26:27 2009
by Michael Ley (ley@uni-trier.de)
