Combining Slicing and Constraint Solving for Validation of Measurement Software.

Gregor Snelting

Published in: SAS (1996)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint satisfaction
constraint solver
constraint programming
computer systems
software architecture
user interface
software development
program slicing
software systems
finite domain