Page
%P
-
Chapter and Conference Paper
A Formal Method for Testing Reactive System from Symbolic Model
Testing is one of the most well-established techniques for the verification and validation of systems. Since success or failure verdicts are emitted with respect to the test case execution results, proper test...