| |
Clinics in laboratory medicine, Vol. 29, No. 2. (June 2009)
|
| |
Chem. Senses, Vol. 4, No. 4. (1 December 1979), pp. 319-326.
|
| |
Genome Research, Vol. 19, No. 11. (1 November 2009), pp. 1953-1962.
|
| |
Proceedings of the National Academy of Sciences, Vol. 106, No. 12. (24 March 2009), pp. 4752-4757.
|
| |
The Biochemical journal, Vol. 310 ( Pt 2) (1 September 1995), pp. 605-614.
|
| |
In ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis (1994), pp. 109-124.
|
| |
In Erlang '09: Proceedings of the 8th ACM SIGPLAN workshop on Erlang (2009), pp. 83-92.
|
| |
Teaching Mathematics Applications, Vol. 16, No. 3. (1 September 1997), pp. 118-121.
|
| |
Software Reliability Engineering - Case Studies, 1997. Proceedings., The Eighth International Symposium on (06 August 2002), pp. 3-12.
|
| |
Commun. ACM, Vol. 52, No. 10. (2009), pp. 30-32.
|
| |
|
| |
In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 415-424.
|
| |
Computer Software and Applications Conference, 2006. COMPSAC '06. 30th Annual International, Vol. 1 (04 December 2006), pp. 411-420.
|
| |
Bioinformatics, Vol. 25, No. 21. (1 November 2009), pp. 2802-2808.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 24, No. 6. (1999), pp. 253-267.
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 29, No. 4. (2004), pp. 34-44.
|
| |
|
| |
|
| |
|
| |
CIN -HAGERSTOWN MD-, Vol. 27, No. 3. (2009), pp. 166-174.
|
| |
Software Testing, Verification and Reliability, Vol. 7, No. 3. (1997), pp. 165-192.
|
| |
|
| |
Science, Vol. 326, No. 5949. (2 October 2009), pp. 52-53.
|
| |
Behavior research methods, instruments, & computers : a journal of the Psychonomic Society, Inc, Vol. 35, No. 3. (August 2003), pp. 379-383.
|
| |
Software Testing, Verification and Reliability, Vol. 19, No. 3. (2009), pp. 215-261.
|
| |
Hispanic Journal of Behavioral Sciences, Vol. 22, No. 4. (1 November 2000), pp. 524-539.
|
| |
|
| |
Ann Intern Med, Vol. 150, No. 2. (20 January 2009), pp. 125-131.
|
| |
The Journal of physiology, Vol. 37, No. 5-6. (15 December 1908), pp. 491-494.
|
| |
Nat Rev Genet, Vol. 10, No. 10. (01 October 2009), pp. 666-667.
|
| |
Computer Software and Applications Conference, 2002. COMPSAC 2002. Proceedings. 26th Annual International (10 December 2002), pp. 327-333.
|
| |
Computer Software and Applications Conference, 2003. COMPSAC 2003. Proceedings. 27th Annual International (17 November 2003), pp. 34-40.
|
| |
Hardware and Software: Verification and Testing (2008), pp. 252-266.
|
| |
Polymer Testing (19 September 2009)
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 28, No. 5. (2003), pp. 128-137.
|
| |
Formal Approaches to Software Testing (2006), pp. 32-46.
|
| |
In ISSTA '94: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis (1994), 240.
|
| |
|
| |
Computer Aided Verification (2009), pp. 414-429.
by Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, et al.Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir Frolov, Erik Reeber, Armaghan Naik
|
| |
SIGSOFT Softw. Eng. Notes, Vol. 30, No. 4. (2005), pp. 1-4.
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 6, No. 2. (April 1997), pp. 173-210.
|
| |
BMC bioinformatics, Vol. 10, No. 1. (2009), 198.
|
| |
In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming (2000), pp. 268-279.
|
| |
In Information and Software Technology Special Issue on Program Slicing, Vol. 40 (1999), pp. 583-594.
|
| |
In In Proceedings of the Conference on Software Maintenance (1992), pp. 41-50.
|
Search
