ISSTA 2009:
Chicago,
IL,
USA
Gregg Rothermel, Laura K. Dillon (Eds.):
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009.
ACM 2009, ISBN 978-1-60558-338-9
Static analysis and verification
Testing #1
- Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick:
Advanced code coverage analysis using substring holes.
37-46
- Charles Pecheur, Franco Raimondi, Guillaume Brat:
A formal analysis of requirements-based testing.
47-56
- Akbar Siami Namin, James H. Andrews:
The influence of size and coverage on test suite effectiveness.
57-68
Empirical studies
Testing and analysis tools #1
- Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: a solver for string constraints.
105-116
- Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su:
Detecting code clones in binary executables.
117-128
- Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin:
Precise pointer reasoning for dynamic test generation.
129-140
Fault localization
- Hong Cheng, David Lo, Yang Zhou, Xiaoyin Wang, Xifeng Yan:
Identifying bug signatures using discriminative graph mining.
141-152
- Saurabh Sinha, Hina Shah, Carsten Görg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold:
Fault localization and repair for Java runtime exceptions.
153-164
- Bin Xin, Xiangyu Zhang:
Memory slicing.
165-176
Testing #2
- Sandro Fouché, Myra B. Cohen, Adam A. Porter:
Incremental covering array failure characterization in large configuration spaces.
177-188
- Christian Murphy, Kuang Shen, Gail E. Kaiser:
Automatic system testing of programs without test oracles.
189-200
- Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi:
Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge.
201-212
- Lu Zhang, Shan-Shan Hou, Chao Guo, Tao Xie, Hong Mei:
Time-aware test-case prioritization using integer linear programming.
213-224
Testing and analysis tools #2
Domain-specific testing techniques
Copyright © Sat Nov 21 00:26:58 2009
by Michael Ley (ley@uni-trier.de)