Linguistic Support for Unit Testing UUCS-07-013
暂无分享,去创建一个
[1] Matthias Felleisen,et al. DrScheme: a programming environment for Scheme , 2002, J. Funct. Program..
[2] Gary T. Leavens,et al. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way , 2002, ECOOP.
[3] Guy L. Steele,et al. The Java Language Specification , 1996 .
[4] Noel Welsh,et al. SchemeUnit and SchemeQL: Two Little Languages , 2002 .
[5] Christian Trefftz,et al. Tools for coverage testing: necessary but not sufficient , 2004 .
[6] Matthew Flatt,et al. ProfessorJ: a gradual introduction to Java through language levels , 2003, OOPSLA '03.
[7] C. H. Flood,et al. The Fortress Language Specification , 2007 .
[8] Heike Wehrheim,et al. Jass - Java with Assertions , 2001, RV@CAV.
[9] Matthew Flatt,et al. Compiling Java to PLT Scheme , 2004 .
[10] Gary King. LIFT - The LIsp Framework for Testing , 2001 .