Testing remains the principal means of verification in many certification regimes. Formal methods of verification will coexist with testing and should be developed in ways that improve, supplement, and exploit the value of testing. I describe automated test generation, which uses technology from formal methods to mechanize the construction
CITATION STYLE
Rushby, J. (2010). Verified Software: Theories, Tools, Experiments. In Verified Software: Theories, Tools, Experiments (Vol. 6217, pp. 1–9). Springer. Retrieved from http://link.springer.com/10.1007/978-3-642-15057-9
Mendeley helps you to discover research relevant for your work.