Handling Backtracking for Symbolic Testing of Embedded Software.

Varsha P. Suresh Sujit Kumar Chakrabarti Raoul Jetley Devina Mohan

Published in: ETFA (2019)

Keyphrases

embedded software
embedded systems
development projects
software architecture
sequence diagrams
case study
high level
training set
test cases