Distributed Assertion Checking Using Symbolic Execution.

Guowei Yang Quan Chau Dong Do Junye Wen

Published in: ACM SIGSOFT Softw. Eng. Notes (2015)

Keyphrases

symbolic execution
test data generation
distributed systems
test generation
multi agent
specification language
data sets
state space
orders of magnitude
machine vision
static analysis
simulated annealing algorithm