I am currently a graduate student at the University of Minnesota. I am working on a Ph.D. in Computer Science and Engineering and my adviser is Professor Mats Heimdahl. I am part of the CriSys (Critical Systems Research) Group and our work is concerned with the use of computers controlling safety-critical systems. Our approach to software development is based on rigorous modeling and analyses of the required behavior of such systems. Our Sponsors include the following agencies: NASA Langley Research Center, NASA Ames Research Center and the NSF .
I like learning new languages (not necessarily computer!) and getting to know different cultures. I love History and Philosophy. There is a wealth of knowledge to be gained from them. My latest fad is appreciation of classical and contemporary art. Some of my other interests include traveling (I have this one ambition of visiting every continent in the world during my lifetime. So far I've been to 3 different, 4 more to go i guess), listening to music (western, classical Indian, Japanese), philately (stamps and coins), chess and photography.
Mats P.E Heimdahl, George Devaraj, and Robert J. Weber. " Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria?". 17th IEEE International Symposium on High Assurance Systems Engineering (HASE' 04). March 2004. Tampa Bay, Florida, USA.
Mats P.E Heimdahl, S.Rayadurgam, W.Visser, George Devaraj, and J. Gao. " Auto-Generating Test Sequences Using Model Checkers: A Case Study". Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES '03). September, 2003. Montreal, Canada.
W.T.Tsai, X.Bai, Raymond Paul, George Devaraj. "An Approach to modify and test expired window logic". IEEE Proceedings on the First Asia-Pacific Conference on Quality Software (APAQS'00). October 2000. Kowloon , Hong Kong.
W.T.Tsai, X.Bai, George Devaraj, Raymond Paul. "Automatic Test case generation for GUI Navigation". 13th International Software/ Internet Quality Week Conference (QW2000), San Francisco, USA. June 2000.
Phone: (612) 624-7590