| |
High-Level Design Validation and Test Workshop, 2002. Seventh IEEE International In High-Level Design Validation and Test Workshop, 2002. Seventh IEEE International (2002), pp. 145-150.
|
| |
Principles and Practice of Constraint Programming - CP 2005 (2005), pp. 882-882.
|
| |
IEEE Design & Test of Computers In IEEE Design & Test of Computers, Vol. 21, No. 2. (2004), pp. 84-93.
|
| |
IEEE Trans. Comput., Vol. 29, No. 6. (June 1980), pp. 429-441.
|
| |
|
| |
In DATE '99: Proceedings of the conference on Design, automation and test in Europe (1999)
|
| |
Transactions on Software Engineering In Transactions on Software Engineering, Vol. 16, No. 8. (1990), pp. 870-879.
|
| |
Software Testing, Verification and Reliability, Vol. 14, No. 2. (2004), pp. 105-156.
|
| |
Hardware and Software, Verification and Testing (2007), pp. 16-33.
|
| |
Hardware and Software, Verification and Testing (2006), pp. 1-13.
|
| |
Theoretical Computer Science, Vol. 291, No. 2. (5 January 2003), pp. 183-201.
|
| |
IBM Syst. J., Vol. 30, No. 4. (1991), pp. 527-538.
|
| |
Computers and Communications, 1995. Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on In Computers and Communications, 1995. Conference Proceedings of the 1995 IEEE Fourteenth Annual International Phoenix Conference on (1995), pp. 45-48.
|
| |
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
|
| |
IEEE Trans. Softw. Eng., Vol. 17, No. 9. (September 1991), pp. 900-910.
|
