Author:
Voigt Janina,Irwin Warwick,Churcher Neville
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Lecture Notes in Computer Science;M. Barnett,2006
2. Barnett, M., Deline, R., Fähndrich, M., Leino, K.R.M., Schulte, W.: Verification of object-oriented programs with invariants. Journal of Object Technology 3, 27–56 (2004)
3. Barnett, M., Fähndrich, M., Halleux, P.D., Logozzo, F., Tillmann, N.: Exploiting the synergy between automated-test-generation and programming-by-contract. In: Proceedings of ICSE 2009, 31th International Conference on Software Engineering, Companion, pp. 401–402 (2009)
4. Lecture Notes in Computer Science;M. Barnett,2005
5. Barnett, M., Naumann, D., Schulte, W., Sun, Q.: 99.44% pure: useful abstractions in specifications. In: ECOOP Workshop on Formal Techniques for Java-Like Programs, FTfJP (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献