Automated Test Generation And Verified Software
Invited position paper for
Verified Software: Theories, Tools, Experiments, Zurich,
Switzerland, October 2005. Updated for LNCS volume to appear 2007.
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 of test cases, and discuss some of the research
challenges in this area.
crude ascii (for your Palm Pilot)
My talk was on a different topic:
Integrating Verification Components
Having trouble reading our papers?
Return to John Rushby's bibliography page
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page