Experiences evaluating the effectiveness of JML-JUnit testing

Roy P. Tan, Stephen H. Edwards. Experiences evaluating the effectiveness of JML-JUnit testing. ACM SIGSOFT Software Engineering Notes, 29(5):1-4, 2004. [doi]

Abstract

Abstract is missing.