Combining slicing and constraint solving for validation of measurement software (1996)

by G Snelting
Venue:In: SAS ’96: Proceedings of the Third International Symposium on Static Analysis