George Devaraj

	2007
6		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		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		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		Mats Per Erik Heimdahl, George Devaraj, Robert Weber: Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? HASE 2004: 178-186
	2003
2		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		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

Coauthor Index

1	Vishal Agarwal	[1]
2	Xiaoying Bai	[1]
3	Jimin Gao	[2]
4	Mats Per Erik Heimdahl	[2] [3] [4] [5] [6]
5	Donglin Liang	[5]
6	Raymond A. Paul	[1]
7	Sanjai Rayadurgam	[2]
8	Wei-Tek Tsai	[1]
9	Willem Visser	[2]
10	Robert Weber	[3]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page