Title :
The Tests-versus-Proofs Conundrum
Author_Institution :
EPFL, Lausanne, Switzerland
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;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2014.18
