Completeness in SMT-based BMC for Software Programs.
Malay K. GanaiAarti GuptaPublished in: DATE (2008)
Keyphrases
- free software
- source code
- software systems
- control flow
- user interface
- software development
- software platform
- java programs
- software package
- data sets
- commercial software
- statistical machine translation
- software maintenance
- computer systems
- database
- programming environment
- computer programs
- application programs
- software developers
- data quality
- data entry