| |
Computer, Vol. 25, No. 10. (October 1992), pp. 40-51.
|
| |
|
| |
In WEASELTech '07: Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies (2007), pp. 2-6.
|
| |
Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on In Engineering of Computer Based Systems, 2006. ECBS 2006. 13th Annual IEEE International Symposium and Workshop on (2006), pp. 8 pp.-445.
|
| |
In ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (2005), pp. 224-232.
|
| |
In Software Engineering and Applications 2008 (16-18 November 2008)
|
| |
Verification, Model Checking, and Abstract Interpretation (2005), pp. 199-215.
|
| |
In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 236-246.
|
| |
In Object Oriented Software Construction (1997)
|
| |
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.
|
Search
