G. Devaraj

Auto-generating test sequences using model checkers

Sanjai Rayadurgam, Willem Visser, Mats P. E. Heimdahl, 2004 .

An approach to modify and test expired window logic

Raymond A. Paul, Wei-Tek Tsai, Xiaoying Bai, 2000, Proceedings First Asia-Pacific Conference on Quality Software.

Specification test coverage adequacy criteria = specification test generation inadequacy criteria

Mats Per Erik Heimdahl, Robert Weber, George Devaraj, 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

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

Sanjai Rayadurgam, Mats Per Erik Heimdahl, Willem Visser, 2003, FATES.

Test-suite reduction for model based tests: effects on test quality and implications for testing

M. Heimdahl, G. Devaraj, 2004, Proceedings. 19th International Conference on Automated Software Engineering, 2004..