| |
ACM Trans. Inter. Tech., Vol. 7, No. 1. (February 2007)
|
| |
In A-MOST '05: Proceedings of the 1st international workshop on Advances in model-based testing, Vol. 30, No. 4. (July 2005), pp. 1-7.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 16, No. 6. (November 1994), pp. 1811-1841.
|
| |
|
| |
In Sixth International Workshop on Specification and Verification of Component-Based Systems (September 2007)
|
| |
|
| |
Computer Aided Verification (2007), pp. 258-262.
|
| |
Constraints in Computational Logics: Theory and Applications In Constraint in Computational Logics: Theory and Applications, Vol. 2002/2001 (19.02.2004 2001), 1.
|
| |
Fundamental Approaches to Software Engineering (2006), pp. 373-376.
|
| |
Under consideration for publication in Formal Aspects of Computing (2007)
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), Vol. 190, No. 2. (31 August 2007), pp. 21-32.
|
| |
|
| |
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.
|
| |
Theoretical Computer Science, Vol. 336, No. 2-3. (26 May 2005), pp. 209-234.
by Cyrille Artho, Howard Barringer, Allen Goldberg, et al.Klaus Havelund, Sarfraz Khurshid, Mike Lowry, Corina Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Rich Washington
|
| |
Dependable Computing - EDCC 2005 In Dependable Computing - EDCC 2005, Vol. 3463/2005 (31 March 2005), pp. 281-292.
|
| |
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.
|
| |
Artif. Intell., Vol. 32, No. 1. (April 1987), pp. 97-130.
|
| |
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II In FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II, Vol. 1709/1999 (1999), pp. 73-73.
|
| |
|
| |
Automated Software Engineering, Vol. 10, No. 2. (1 April 2003), pp. 203-232.
|
| |
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.
|
| |
Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings In Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings, Vol. 2619/2003 (19 February 2003), pp. 553-568.
|
| |
In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06) (2006), pp. 365-368.
|
| |
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (July 2004), pp. 55-64.
|
| |
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. 273-282.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 131 (2005), pp. 63-74.
|
| |
In ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'04) (2004), pp. 49-51.
|
| |
In Workshop on Testing Aspect-Oriented Programs (2005)
|
| |
In Proceedings of XP Universe (July 2001)
|
| |
Software, IEEE In Software, IEEE, Vol. 19, No. 3. (June 2002), pp. 22-24.
|
| |
In Computer Aided Verification, Vol. 4590 (2007), pp. 37-37.
|
| |
Software, IEEE In Software, IEEE, Vol. 23, No. 4. (July 2006), pp. 38-47.
|
| |
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.
|
| |
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices In Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Vol. 3362/2005 (28 January 2005), pp. 49-69.
|
| |
|
| |
|
| |
Advances in Computers, Vol. 58 (2003)
|
| |
In TACAs '96: Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems (1996), pp. 127-146.
|
| |
In The Computer Science and Engineering Handbook (1995), pp. 2190-2207.
|
| |
Formal Methods at the Crossroads: From Panacea to Foundational Support In Formal Methods at the Crossroads: From Panacea to Foundational Support, Vol. 2757/2003 (2003), pp. 34-48.
|
| |
Software Testing, Verification and Reliability, Vol. 14, No. 3. (2004), pp. 213-235.
|
| |
Software Quality Journal, Vol. 15, No. 1. (March 2007), pp. 7-25.
|
| |
In SAVCBS '06: Proceedings of the 2006 conference on Specification and verification of component-based systems (2006), pp. 41-48.
|
| |
Fundamental Approaches to Software Engineering In Fundamental Approaches to Software Engineering, Vol. 2984/2004 (1 March 2004), pp. 281-294.
|
| |
In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis (2006), pp. 169-180.
|
| |
In ICSE'07, Proceedings of the 29th International Conference on Software Engineering (2007)
|
CiteULike
Group: Context-driven-testers
Search
