Representation dependence testing using program inversion
暂无分享,去创建一个
Rajeev Alur | Aditya Kanade | Sriram K. Rajamani | G. Ramalingam | S. Rajamani | R. Alur | G. Ramalingam | Aditya Kanade
[1] Cesare Tinelli,et al. Solving quantified verification conditions using satisfiability modulo theories , 2007, Annals of Mathematics and Artificial Intelligence.
[2] Edsger W. Dijkstra,et al. Program Inversion , 1978, Program Construction.
[3] David Detlefs,et al. Simplify: a theorem prover for program checking , 2005, JACM.
[4] James Noble,et al. Ownership types for flexible alias protection , 1998, OOPSLA '98.
[5] John Tang Boyland,et al. Why we should not add readonly to Java (yet) , 2006, J. Object Technol..
[6] Brian J. Ross,et al. Running programs backwards: The logical inversion of imperative computation , 1997, Formal Aspects of Computing.
[7] Martin H. Trauth,et al. MATLAB® Recipes for Earth Sciences , 2021, Springer Textbooks in Earth Sciences, Geography and Environment.
[8] Liuba Shrira,et al. Ownership types for object encapsulation , 2003, POPL '03.
[9] James Noble,et al. Overcoming Representation Exposure , 1999, ECOOP Workshops.
[10] Arnaud Gotlieb,et al. Automated metamorphic testing , 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.
[11] Berry Schoenmakers. Inorder Traversal of a Binary Heap and its Inversion in Optimal Time and Space , 1992, MPC.
[12] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.
[13] Michael D. Ernst,et al. A practical type system and language for reference immutability , 2004, OOPSLA '04.
[14] Peter M. Maurer,et al. Generating test data with enhanced context-free grammars , 1990, IEEE Software.
[15] L. D. Moura,et al. The YICES SMT Solver , 2006 .
[16] Anindya Banerjee,et al. Ownership confinement ensures representation independence for object-oriented programs , 2002, JACM.
[17] Pedram Amini,et al. Fuzzing: Brute Force Vulnerability Discovery , 2007 .
[18] Gail E. Kaiser,et al. Automatic system testing of programs without test oracles , 2009, ISSTA.
[19] David Gries,et al. Inorder traversal of a binary tree and its inversion , 1989 .
[20] Richard C. Holt,et al. The Geneva convention on the treatment of object aliasing , 1992, OOPS.