Publisher
Springer Science and Business Media LLC
Reference21 articles.
1. C. A. R. Hoare, “An axiomatic basis of computer programming,” Comm. ACM, 12, No. 10, 576–580 (1969).
2. V. A. Nepomniaschy and O. M. Ryakin, Applied Program Verification Methods [in Russian], Radio i Svyaz, Moscow (1988).
3. J. Stark and A. Ireland, “Invariant discovery via failed proof attempts,” in: Proc. LOPSTR’98, Lecture Notes in Comput. Sci., 1559 (1999), pp. 271–288.
4. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin, “Dynamically discovering likely program invariants to support program evolution,” IEEE Trans. Software Engineering, 27, No. 2, 99–123 (2001).
5. H. D. Mills, “Structured programming: Retrospect and prospect,” IEEE Software, 3, No. 6, 58–67 (1986).
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献