George Devaraj

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Publications

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