| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
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)
|
Zhu, Hong
|
|
2009
|
51 |
11 |
p. 1485-1486
2 p.
|
article
|
| 2 |
A methodology for evaluating test coverage criteria of high levelPetri nets
|
Ding, Junhua
|
|
2009
|
51 |
11 |
p. 1520-1533
14 p.
|
article
|
| 3 |
Architecture compliance checking at run-time
|
Ganesan, Dharmalingam
|
|
2009
|
51 |
11 |
p. 1586-1600
15 p.
|
article
|
| 4 |
Engineering quality software – Guest editor’s introduction to the special section of the Eighth International Conference on Quality Software (QSIC 2008)
|
Zhu, Hong
|
|
2009
|
51 |
11 |
p. 1549-1550
2 p.
|
article
|
| 5 |
IFC Editorial Board
|
|
|
2009
|
51 |
11 |
p. IFC-
1 p.
|
article
|
| 6 |
Integrating top-down and scenario-based methods for constructing software specifications
|
Liu, Shaoying
|
|
2009
|
51 |
11 |
p. 1565-1572
8 p.
|
article
|
| 7 |
Is non-parametric hypothesis testing model robust for statistical fault localization?
|
Zhang, Zhenyu
|
|
2009
|
51 |
11 |
p. 1573-1585
13 p.
|
article
|
| 8 |
Linux bugs: Life cycle, resolution and architectural analysis
|
Ahmed, Mohamed F.
|
|
2009
|
51 |
11 |
p. 1618-1627
10 p.
|
article
|
| 9 |
Model-based testing approaches selection for software projects
|
Dias-Neto, Arilo Claudio
|
|
2009
|
51 |
11 |
p. 1487-1504
18 p.
|
article
|
| 10 |
Test Case Evaluation and Input Domain Reduction strategies for the Evolutionary Testing of Object-Oriented software
|
Ribeiro, José Carlos Bregieiro
|
|
2009
|
51 |
11 |
p. 1534-1548
15 p.
|
article
|
| 11 |
Using coverage to automate and improve test purpose based testing
|
Weiglhofer, Martin
|
|
2009
|
51 |
11 |
p. 1601-1617
17 p.
|
article
|
| 12 |
Using machine learning to refine Category-Partition test specifications and test suites
|
Briand, Lionel C.
|
|
2009
|
51 |
11 |
p. 1551-1564
14 p.
|
article
|
| 13 |
Validation of SDL specifications using EFSM-based test generation
|
Wong, W. Eric
|
|
2009
|
51 |
11 |
p. 1505-1519
15 p.
|
article
|
Journal description