| |
In AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development (2009), pp. 185-196.
|
| |
In AST '07: Proceedings of the Second International Workshop on Automation of Software Test (2007), 2.
|
| |
Formal Approaches to Software Testing (2006), pp. 32-46.
|
| |
Computers Helping People with Special Needs (2006), pp. 164-171.
|
| |
Software Testing Verification and Validation, 2009. ICST '09. International Conference on In Software Testing Verification and Validation, 2009. ICST '09. International Conference on (2009), pp. 250-259.
|
| |
Reliability, IEEE Transactions on In Reliability, IEEE Transactions on, Vol. 49, No. 1. (2000), pp. 26-36.
|
| |
Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 225-259.
|
| |
Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on In Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on (2008), pp. 297-306.
|
| |
Empirical Software Engineering, Vol. 12, No. 2. (April 2007), pp. 183-239.
|
| |
In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6.
|
| |
|
| |
In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 29, No. 4. (July 2004), pp. 97-107.
|
| |
In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 37-48.
|
| |
Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on In Software Engineering Research, Management & Applications, 2007. SERA 2007. 5th ACIS International Conference on (2007), pp. 545-549.
|
| |
Software: Practice and Experience, Vol. 30, No. 1. (2000), pp. 61-79.
|
| |
In In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA). IEEE Computer (2003)
|
| |
Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on In Software Reliability Engineering, 2006. ISSRE '06. 17th International Symposium on (2006), pp. 75-84.
|
| |
Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
|
| |
Software Testing, Verification and Reliability, Vol. 16, No. 3. (2006), pp. 175-203.
|
| |
In AST '06: Proceedings of the 2006 international workshop on Automation of software test (2006), pp. 64-70.
|
| |
|
| |
|
| |
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 In Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007 (2007), pp. 72-76.
|
| |
Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 3-11.
|
| |
|
| |
In GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation (2007), pp. 1098-1105.
|
| |
Software Engineering, 1996., Proceedings of the 18th International Conference on In Software Engineering, 1996., Proceedings of the 18th International Conference on (1996), pp. 71-80.
|
| |
icst, Vol. 0 (2008), pp. 32-41.
|
| |
Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on In Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on (2006), pp. 59-68.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 1. (January 1996), pp. 63-86.
|
| |
In ICSE '07: Proceedings of the 29th International Conference on Software Engineering (2007), pp. 75-84.
|
| |
In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security (2006), pp. 322-335.
|
| |
Software Testing, Verification and Reliability, Vol. 13, No. 1. (2003), pp. 25-53.
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 27, No. 12. (2001), pp. 1085-1110.
|
| |
Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific In Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific (2001), pp. 237-240.
|
| |
Information and Software Technology, Vol. 48, No. 7. (July 2006), pp. 586-605.
|
| |
ECOOP 2005 - Object-Oriented Programming (2005), pp. 504-527.
|
| |
Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (2003), 87.
|
| |
In Foundations of Software Engineering (1998), pp. 231-244.
|
| |
In Proceedings of the international conference on Reliable software (1975), pp. 493-510.
|
| |
In MS'06: Proceedings of the 17th IASTED international conference on Modelling and simulation (2006), pp. 443-448.
|
| |
Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
|
| |
Software Quality Journal, Vol. 12, No. 2. (1 June 2004), pp. 121-136.
|
| |
In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 27, No. 4. (July 2002), pp. 123-133.
|
| |
In Proceedings of the Second Conference on Computer Science and Engineering in Linköping (October 1999), pp. 21-28.
|
| |
Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on In Tools with Artificial Intelligence, 2004. ICTAI 2004. 16th IEEE International Conference on (2004), pp. 174-182.
|
| |
|
| |
Automated Software Engineering, Vol. 4, No. 1. (1 January 1997), pp. 77-106.
|
| |
Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on In Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on (1999), pp. 250-259.
|
| |
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (2003), pp. 1076-1076.
|