Industrial Application of Concolic Testing on Embedded Software: Case Studies.

Moonzoo Kim Yunho Kim Yoonkyu Jang

Published in: ICST (2012)

Keyphrases

embedded software
industrial applications
case study
development projects
software architecture
embedded systems
sequence diagrams
software development
development process
open source
low cost
test cases
integrity constraints
literature review