A Tool and Case Study for Specification-Based Program Review.
Fumiko NagoyaShaoying LiuYuting ChenPublished in: COMPSAC (1) (2005)
Keyphrases
- case study
- program understanding
- user friendly
- high level
- literature review
- business process
- search based software testing
- control program
- control flow
- software development
- open source
- database
- user interface
- analysis tool
- expert systems
- fault localization
- modelling language
- database systems
- information retrieval
- data sets