| 1485 | -- | 1486 | Hong Zhu, Fevzi Belli. Advancing test automation technology to meet the challenges of model-based software testing - Guest editors introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008) |
| 1487 | -- | 1504 | Arilo Claudio Dias Neto, Guilherme Horta Travassos. Model-based testing approaches selection for software projects |
| 1505 | -- | 1519 | W. Eric Wong, Andy Restrepo, Byoungju Choi. Validation of SDL specifications using EFSM-based test generation |
| 1520 | -- | 1533 | Junhua Ding, Peter J. Clarke, Gonzalo Argote-Garcia, Xudong He. A methodology for evaluating test coverage criteria of high levelPetri nets |
| 1534 | -- | 1548 | José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega. Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Object-Oriented software |
| 1549 | -- | 1550 | Hong Zhu. Engineering quality software - Guest editor s introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008) |
| 1551 | -- | 1564 | Lionel C. Briand, Yvan Labiche, Zaheer Bawar, Nadia Traldi Spido. Using machine learning to refine Category-Partition test specifications and test suites |
| 1565 | -- | 1572 | Shaoying Liu. Integrating top-down and scenario-based methods for constructing software specifications |
| 1573 | -- | 1585 | Zhenyu Zhang, W. K. Chan, T. H. Tse, Peifeng Hu, Xinming Wang. Is non-parametric hypothesis testing model robust for statistical fault localization? |
| 1586 | -- | 1600 | Dharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura. Architecture compliance checking at run-time |
| 1601 | -- | 1617 | Martin Weiglhofer, Gordon Fraser, Franz Wotawa. Using coverage to automate and improve test purpose based testing |
| 1618 | -- | 1627 | Mohamed F. Ahmed, Swapna S. Gokhale. Linux bugs: Life cycle, resolution and architectural analysis |