Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects.

Eduard Kamburjan Marco Scaletta Nils Rollshausen

Published in: CoRR (2021)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
model checking
object oriented
power system
formal specification
genetic algorithm
database
general purpose
simulated annealing algorithm
mobile robot
case study
dc motor
dynamic response