Search alternatives:
"execution" » "executive"
Cover Image
Read Now

1
by Esparza, Javier, Heljanko, Keijo
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Transition Systems and Products -- Unfolding Products -- Search Procedures for the Executability...”
Cover Image
Read Now

2
Published 2019
Springer International Publishing
Table of Contents: “... -- Conditional Testing: O -the-Shelf Combination of Test-Case Generators -- Enhancing Symbolic Execution of Heap...”
Cover Image
Read Now

3
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Model-Driven Test Derivation and Execution -- SLAB: A Certifying Model Checker for Infinite-State...”