| |
Hawaii International Conference on System Sciences, Vol. 9 (2001)
|
| |
Behaviour & Information Technology, Vol. 13, No. 1. (1994), pp. 9-16.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 26, No. 4. (2001), pp. 83-88.
|
| |
|
| |
|
| |
Formal Approaches to Software Testing (2006), pp. 16-31.
|
| |
Formal Methods and Software Engineering (2005), pp. 450-464.
|
| |
|
| |
Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on In Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 398-409.
|
| |
Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on In Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on (2001), pp. 34-43.
|
| |
In ESEC/FSE-11: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (2003), pp. 118-127.
|
| |
Journal of Software Maintenance and Evolution: Research and Practice, Vol. 17, No. 1. (2005), pp. 27-64.
|
| |
Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on In Software Maintenance, 2003. ICSM 2003. Proceedings. International Conference on (2003), pp. 410-419.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 23, No. 2. (1998), pp. 82-92.
|
| |
|
| |
Computer In Computer, Vol. 35, No. 8. (2002), pp. 87-88.
|
| |
In ACM-SE 42: Proceedings of the 42nd annual Southeast regional conference (2004), pp. 140-145.
|
| |
In AST '06: Proceedings of the 2006 international workshop on Automation of software test (2006), pp. 9-14.
|
| |
Theoretical Aspects of Computing - ICTAC 2004 (2005), pp. 341-355.
|
| |
Information and Software Technology In Third International Conference on Quality Software: QSIC 2003, Vol. 46, No. 15. (1 December 2004), pp. 1011-1025.
|
| |
Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224.
|