Login / Signup
Automated Analysis of Reo Circuits using Symbolic Execution.
Bahman Pourvatan
Marjan Sirjani
Hossein Hojjat
Farhad Arbab
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
automated analysis
symbolic execution
static analysis
test data generation
test generation
source code
specification language
biomedical imaging
visual analysis
data flow
open source
test cases
video analysis
simulated annealing algorithm
quality assurance
databases
genetic programming
evolutionary algorithm