Symbolic execution of Reo circuits using constraint automata.

Bahman Pourvatan Marjan Sirjani Hossein Hojjat Farhad Arbab

Published in: Sci. Comput. Program. (2012)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
regular expressions
test cases
database systems
machine vision
software systems
open source
object oriented
multi objective
evolutionary algorithm
databases