Search alternatives:
automatic theory » automatic theorem, automation theory, automata theory
languages » language
Cover Image
Read Now

1
Published 2015
Springer International Publishing
Table of Contents: “... Model Checking -- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal...”
Cover Image
Read Now

2
Published 2014
Springer International Publishing
Table of Contents: “... in Practice -- Theory of Test Modeling Based on Regular Expressions -- Integrating Separation Logic with PPTL...”