Articles

Automated software testing of asynchronous systems (with Padmanabhan Krishnan), Electronic notes in theoretical computer science (2009)

Test automation faces challenges when applied to the testing of asynchronous systems. Automated testing tools...

 

Model-based testing and the UML testing profile (with Padmanabhan Krishnan), Lecture notes in computer science (2009)

The UML Testing Profile (U2TP) provides a means of using UML for test case specification....

 

Testing privacy policies using models (with Padmanabhan Krishnan), Information Technology papers (2008)

Privacy policies are usually expressed at a high level using languages such as P3P, EPAL,...

 

Conference Papers

Industry academia collaboration: An experience report at a small university (with Padmanabhan Krishnan and Ross Kelvin), 2009 IEEE 22nd conference on software engineering education and training (2009)

This paper is a report on how sustainable and fruitful cooperation was achieved between a...

 

Dissertations

PDF

Domain Specialisation and Applications of Model-Based Testing, Theses (2010)

Software testing, one of the most important methods for quality assurance, has become too expensive...