106
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
Inconsistent code detection is a variant of static analysis that detects statements that never occur on feasible executions. This includes code whose execution ultimately must lead...
90
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
Of special interest in formal verification are safety specifications, which assert that the system stays within some allowed region, in which nothing “bad” happens. Equivalen...
186
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
The reachability problem is one of the most important issues in the verification of hybrid systems. Computing the reachable sets of differential equations is difficult, although c...
121
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
Runtime verification and model checking are two important methods for assessing correctness of systems. In both techniques, detecting an error is witnessed by an execution that vi...
111
Voted
ATVA
2015
Springer
9 years 11 months ago
2015
Springer
Combinatorial test design (CTD) is an effective test design technique, considered to be a testing best practice. CTD provides automatic test plan generation, but it requires a man...