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 
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 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
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
- 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
Session 7:
dynamic analysis
Last update Mon May 20 15:26:07 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
