Combining slicing and constraint solving for validation of measurement software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1145, Issue , 1996, Pages 332-348

  Snelting, Gregor ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Constraint solving; Measurement system; Path condition; Program slicing; Software validation

Indexed keywords

CALIBRATION; CODES (SYMBOLS); LOGIC PROGRAMMING;

CONSTRAINT SOLVING; MEASUREMENT SYSTEM; PATH CONDITION; PROGRAM SLICING; SOFTWARE VALIDATION;

STATIC ANALYSIS;

EID: 84957362493     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61739-6_51     Document Type: Conference Paper

References (16)

1. H. Agrawal, R. DeMillo, E. Spafford: Dynamic slicing in the presence of unconstrained pointers. Proc. 4th Symposium on Testing, Analysis, and Verification. ACM 1991, pp. 60 - 73.
2. F. Benhamou, A. Colmerauer (Ed.): Constraint Logic Programming: Selected Research. MIT Press 1993.
3. J. Choi, M. Burke, P. Carini: Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. Proc. 20th Principles of Programming Languages, ACM 1993, pp. 232 - 245.
4. J. Choi, J. Ferrante: Static slicing in the presence of GOTO statements. ACM TOPLAS 16(1994), pp. 1087 - 1113.
5. F. Benhamou, W. Older: Applying Interval Arithmetic to Real, Integer and Bolean Constraints. To appear in Journal of Logic Programming (1995).
6. D. Denning, P. Denning: Certification of programs for secure information flow. Communications of the ACM 20(7), S. 504 - 513, Juli 1977.
7. J. Field, G. Ramalingam, F. Tip: Parametric program slicing. Proc. 21th Symposium on Principles of Programming Languages, ACM 1995, S. 379 - 392.
8. S. Horwitz, P. Pfeiffer, T. Reps: Dependence analysis for pointer variables. Proc. SIGPLAN Programming Language Design and Implementation, ACM 1989, pp. 28 -40.
9. S. Horwitz, T. Reps: The use of program dependence graphs in software engineering. Proc. 14th Int. Conference on Software Engineering, IEEE 1992, pp. 392 - 411.
10. J. Jaffar, S. Michaylow, P. Stuckey, R. Yap: The CLP(R) language and system. ACM TOPLAS 14(3), pp. 339 - 395 (Juli 1992).
11. J. Jaffar, M. Maher: Constraint logic programming: a survey. To appear in Journal of Logic Programming (1995).
12. W. Landi, B. Ryder: A safe approximation algorithm for interprocedural pointer aliasing. Proc. SIGPLAN Programming Language Design and Implementation, ACM 1992, pp. 93 - 103.
13. T. Reps, S. Horwitz, M. Sagiv, G. Rosay: Speeding up Slicing. Proc. 2nd SIGSOFT Foundations of Software Engineering, ACM 1994, pp. 11 - 20.
14. G. Smolka, M. Henz, J. Würz: Object-Oriented Concurrent Constraint Programming in Oz. DFKI Research Report 93-16.
15. F. Tip: A survey of program slicing techniques. Journal of Programming Languages 3 (1995), pp. 121 - 189.
16. M. Weiser: Program Slicing. IEEE Transactions on Software Engineering, 10(4), pp. 352 - 357, Juli 1984.