A practical approach to assertion testing framework based on inner class
暂无分享,去创建一个
[1] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[2] Gary T. Leavens,et al. Design by Contract with JML , 2006 .
[3] Gary T. Leavens,et al. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way , 2002, ECOOP.
[4] Jeremy Dick,et al. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.
[5] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[6] MeyerBertrand,et al. Design by Contract , 1997 .
[7] Lauretta O. Osho,et al. Axiomatic Basis for Computer Programming , 2013 .
[8] David S. Rosenblum. A Practical Approach to Programming With Assertions , 1995, IEEE Trans. Software Eng..
[9] Bertrand Meyer,et al. Applying 'design by contract' , 1992, Computer.
[10] Albert L. Baker,et al. Preliminary design of JML: a behavioral interface specification language for java , 2006, SOEN.
[11] Valentin Goranko,et al. Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..