S. King, J. Hammond, R. Chapman, and A. Pryor. Is proof more cost effective than testing? IEEE Trans. on SE, 26(8), 2000. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Automated Generation of High Integrity Test Suites from Graphical .. - Burton (2002) (1 citation) (Correct)
Automation for Exception Freedom Proofs - Bill Ellis And (2003) (Correct)
Dissecting Trust and the Assurance-Violation Dynamic - Redwine, Jr. (2003) (Correct)
Industrial Strength Exception Freedom - Peter Amey Roderick (2002) (4 citations) Self-citation (Chapman) (Correct)
Industrial Experience with SPARK - Chapman (2000) (4 citations) Self-citation (Chapman) (Correct)
On the Principled Design of Object Oriented Programming.. - Barnes, Dobbing, Chapman (2002) Self-citation (Chapman) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC