SCORE: a scalable concolic testing tool for reliable embedded software.

Yunho Kim Moonzoo Kim

Published in: SIGSOFT FSE (2011)

Keyphrases

embedded software
sequence diagrams
embedded systems
software architecture
development projects
artificial intelligence
process model