Automated Test Generation And Verified Software
John Rushby
Invited position paper for
Verified Software: Theories, Tools, Experiments, Zurich,
Switzerland, October 2005. Updated for LNCS volume to appear 2007.
Abstract
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.
gzipped postscript,
or
plain postscript
or
PDF
or
crude ascii (for your Palm Pilot)
Slides
My talk was on a different topic:
Integrating Verification Components
BibTeX Entry
TBD
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