A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf
.
Falling Back on Executable Specifications
[chapter]
2010
Lecture Notes in Computer Science
We describe a new approach to employing specifications for software reliability. Rather than only using specifications to validate implementations, we additionally employ specifications as a reliable alternative to those implementations. Our approach, which we call Plan B, performs dynamic contract checking of methods. However, instead of halting the program upon a contract violation, we employ a constraint solver to automatically execute the specification in order to allow the program to
doi:10.1007/978-3-642-14107-2_26
fatcat:e5okge5gsbaj5diqpkqwesoirm