Title of article :
Validation of measurement software as an application of slicing and constraint solving
Author/Authors :
Jens Krinke، نويسنده , , Gregor Snelting، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1998
Keywords :
Constraint solving , Measurement system , Software validation , program slicing , Path condition
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
