| |
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 Software Engineering and Applications 2008 (16-18 November 2008)
|
| |
In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6.
|
| |
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 International Conference on Software Testing, Verification, and Validation (9-11 April 2008)
|
| |
IEEE Trans. Softw. Eng., Vol. 27, No. 2. (2001), pp. 144-155.
|
| |
|
| |
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (2003), pp. 1076-1076.
|
| |
Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on In Availability, Reliability and Security, 2007. ARES 2007. The Second International Conference on (2007), pp. 1093-1100.
|
| |
|
| |
In International Conference on Software Engineering 2008 (May 2008)
|
| |
Softw. Test. Verif. Reliab., Vol. 16, No. 3. (September 2006), pp. 175-203.
|
| |
In CCS '05: Proceedings of the 12th ACM conference on Computer and communications security (2005), pp. 213-222.
|
| |
In 6th International conference on Quality Software (2006)
|
| |
In SEKE 2008 (February 2008)
|
| |
Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 27, No. 12. (2001), pp. 1085-1110.
|
| |
Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on In Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on (1998), pp. 285-288.
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 12, No. 7. (1993), pp. 1050-1058.
|
| |
Software: Practice and Experience, Vol. 30, No. 1. (2000), pp. 61-79.
|
| |
|
| |
Service-Oriented System Engineering, 2005. SOSE 2005. IEEE International Workshop (2005), pp. 207-212.
|
| |
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.
|
| |
Software Quality Journal, Vol. 15, No. 3. (2007), pp. 241-263.
|
| |
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.
|
| |
|
| |
In CCS '06: Proceedings of the 13th ACM conference on Computer and communications security (2006), pp. 322-335.
|
| |
Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
|
| |
In ISSTA '98: Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, Vol. 23, No. 2. (March 1998), pp. 53-62.
|
| |
Software Testing, Verification and Reliability, Vol. 9, No. 4. (1999), pp. 263-282.
|
| |
|
| |
In 18th International Conference on Software Engineering (25-30 March 1996), pp. 71-80.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 5, No. 1. (January 1996), pp. 63-86.
|
| |
In SIGSOFT '98/FSE-6: Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering (1998), pp. 231-244.
|
| |
Transactions on Software Engineering In Transactions on Software Engineering, Vol. 16, No. 8. (1990), pp. 870-879.
|
| |
|
| |
In Proceedings of the 13th IEEE international conference on Automated software engineering (13-16 October 1998), pp. 136-146.
|
| |
Software Testing Verification and Reliability, Vol. 11, No. 2. (2001), pp. 81-96.
|
| |
In Proceedings of the Second Conference on Computer Science and Engineering in Linköping (October 1999), pp. 21-28.
|
| |
IEEE Trans. Softw. Eng., Vol. 17, No. 9. (September 1991), pp. 900-910.
|
| |
Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on In Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on (2000), pp. 219-227.
|
| |
In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (2005), pp. 253-262.
|
