George Devaraj

According to our database, George Devaraj authored at least 6 papers between 2000 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

On the effect of test-suite reduction on automatically generated model-based tests.

Mats Per Erik Heimdahl, George Devaraj

Autom. Softw. Eng., 2007

2005

Coverage-Directed Test Generation with Model Checkers: Challenges and Opportunities.

George Devaraj, Mats Per Erik Heimdahl, Donglin Liang

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing.

Mats Per Erik Heimdahl, George Devaraj

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?

Mats Per Erik Heimdahl, George Devaraj, Robert Weber

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

Auto-generating Test Sequences Using Model Checkers: A Case Study.

Mats Per Erik Heimdahl, Sanjai Rayadurgam, Willem Visser, George Devaraj, Jimin Gao

Proceedings of the Formal Approaches to Software Testing, 2003

2000

An Approach to Modify and Test Expired Window Logic.

Wei-Tek Tsai, Xiaoying Bai, Raymond A. Paul, George Devaraj, Vishal Agarwal

Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000