Symbolic software model validation.
Cynthia SturtonRohit SinhaThurston H. Y. DangSakshi JainMichael McCoydWei Yang TanPetros ManiatisSanjit A. SeshiaDavid A. WagnerPublished in: MEMOCODE (2013)
Keyphrases
- model validation
- software systems
- software application
- software development
- computer systems
- software architecture
- high level
- software design
- software tools
- software developers
- symbolic representation
- software testing
- commercial software
- information systems
- source code
- software package
- software packages
- expert systems