Validation of measurement software as an application of slicing and constraint solving.
Jens KrinkeGregor SneltingPublished in: Inf. Softw. Technol. (1998)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- program slicing
- software systems
- software development
- constraint programming
- source code
- software maintenance
- software engineering
- user interface
- software testing
- special case
- database systems