Ralph-Johan Back, Johannes Eriksson, Magnus Myreen. Testing and Verifying Invariant Based Programs in the SOCOS Environment. In Yuri Gurevich, Bertrand Meyer, editors, Tests and Proofs, First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers. Volume 4454 of Lecture Notes in Computer Science, pages 61-78, Springer, 2007. [doi]
Abstract is missing.