Deriving State Machines from TinyOS Programs Using Symbolic Execution.

Nupur Kothari Todd D. Millstein Ramesh Govindan

Published in: IPSN (2008)

Keyphrases

symbolic execution
state machines
state machine
test generation
static analysis
test data generation
petri net
specification language
source code
data flow
sequence diagrams
recurrent networks
test cases
open source
finite state machines
generation algorithm
simulated annealing