TAP
2009
Springer
14 years 7 months ago
2009
Springer
TAP
2009
Springer
14 years 7 months ago
2009
Springer
action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / ...
TAP
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
TAP
2009
Springer
14 years 7 months ago
2009
Springer
The method contract and loop invariant rules (contract rules) are an important software verification technique for handling method invocations and loops. However, if a verificati...
TAP
2009
Springer
14 years 7 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
TAP
2009
Springer
14 years 7 months ago
2009
Springer
