2007 |
6 | EE | Mats Per Erik Heimdahl,
George Devaraj:
On the effect of test-suite reduction on automatically generated model-based tests.
Autom. Softw. Eng. 14(1): 37-57 (2007) |
2005 |
5 | EE | George Devaraj,
Mats Per Erik Heimdahl,
Donglin Liang:
Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.
COMPSAC (1) 2005: 455-462 |
2004 |
4 | EE | Mats Per Erik Heimdahl,
George Devaraj:
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.
ASE 2004: 176-185 |
3 | EE | Mats Per Erik Heimdahl,
George Devaraj,
Robert Weber:
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?
HASE 2004: 178-186 |
2003 |
2 | EE | Mats Per Erik Heimdahl,
Sanjai Rayadurgam,
Willem Visser,
George Devaraj,
Jimin Gao:
Auto-generating Test Sequences Using Model Checkers: A Case Study.
FATES 2003: 42-59 |
2000 |
1 | EE | Wei-Tek Tsai,
Xiaoying Bai,
Raymond A. Paul,
George Devaraj,
Vishal Agarwal:
An Approach to Modify and Test Expired Window Logic.
APAQS 2000: 99-110 |