Generation of C++ Unit Tests from Abstract State Machines Specifications.

Silvia Bonfanti Angelo Gargantini Atif Mashkoor

Published in: ICST Workshops (2018)

Keyphrases

high level
specification language
data mining
generation process
data structure
delay insensitive
formal language
functional requirements
formal specification
test cases
programming language
real time
image sequences
web services
computer vision
information retrieval
databases