Modeling Firmware as Service Functions and Its Application to Test Generation.

Sunha Ahn Sharad Malik

Published in: Haifa Verification Conference (2013)

Keyphrases

test generation
test cases
static analysis
computer systems
web services
multi agent
test sequences
learning algorithm
artificial intelligence
object oriented
service providers
pattern matching
quality control
symbolic execution