Login / Signup

A MILP-based approach to path sensitization of embedded software.

José C. CostaJosé C. Monteiro
Published in: DATE (2009)
Keyphrases
  • embedded software
  • embedded systems
  • software architecture
  • development projects
  • mixed integer linear programming
  • sequence diagrams
  • high level
  • database