DocumentCode
18911
Title
The Tests-versus-Proofs Conundrum
Author
Candea, George
Author_Institution
EPFL, Lausanne, Switzerland
Volume
12
Issue
1
fYear
2014
fDate
Jan.-Feb. 2014
Firstpage
65
Lastpage
68
Abstract
Fully proving the correctness of entire real-world software stacks is still not practical, despite impressive recent advances. At the same time, classic system testing is increasingly insufficient to make modern systems reliable and secure. To make progress, we must fuse formal methods with traditional testing practice into a unified approach.
Keywords
formal specification; program testing; theorem proving; classic system testing; formal methods; real-world software stacks; tests-versus-proofs conundrum; traditional testing practice; unified approach; Computer bugs; Computer security; Software testing; Testing; computer security; dependability; formal proofs; software engineering; software testing; symbolic execution;
fLanguage
English
Journal_Title
Security & Privacy, IEEE
Publisher
ieee
ISSN
1540-7993
Type
jour
DOI
10.1109/MSP.2014.18
Filename
6756757
Link To Document