Sign in

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

Yunho KimMoonzoo Kim
Published in: SIGSOFT FSE (2011)
Keyphrases
  • embedded software
  • sequence diagrams
  • embedded systems
  • software architecture
  • development projects
  • artificial intelligence
  • process model