{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T06:49:47Z","timestamp":1778914187404,"version":"3.51.4"},"reference-count":20,"publisher":"Elsevier BV","issue":"11-12","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1016\/s0950-5849(98)00090-1","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T18:22:28Z","timestamp":1027621348000},"page":"661-675","source":"Crossref","is-referenced-by-count":25,"title":["Validation of measurement software as an application of slicing and constraint solving"],"prefix":"10.1016","volume":"40","author":[{"given":"Jens","family":"Krinke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Snelting","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(98)00090-1_BIB1","doi-asserted-by":"crossref","unstructured":"H. Agrawal, R. DeMillo, E. Spafford, Dynamic slicing in the presence of unconstrained pointers, in: Proceedings of the 4th Symposium on Testing, Analysis, and Verification, ACM, 1991, pp. 60\u201373.","DOI":"10.1145\/120807.120813"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB2","unstructured":"F. Benhamou, A. Colmerauer (Eds.), Constraint Logic Programming: Selected Research, MIT Press, Cambridge, MA, 1993."},{"key":"10.1016\/S0950-5849(98)00090-1_BIB3","doi-asserted-by":"crossref","unstructured":"F. Benhamou, W. Older, Applying interval arithmetic to real, integer and boolean constraints, Journal of Logic Programming (in press).","DOI":"10.1016\/S0743-1066(96)00142-2"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB4","doi-asserted-by":"crossref","unstructured":"J. Choi, M. Burke, P. Carini, Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects, in: Proceedings of the 20th Principles of Programming Languages, ACM, 1993, pp. 232\u2013245.","DOI":"10.1145\/158511.158639"},{"issue":"5","key":"10.1016\/S0950-5849(98)00090-1_BIB5","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","article-title":"Model checking and abstraction","volume":"16","author":"Clarke","year":"1994","journal-title":"ACM TOPLAS"},{"issue":"7","key":"10.1016\/S0950-5849(98)00090-1_BIB6","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1145\/359636.359712","article-title":"Certification of programs for secure information flow","volume":"20","author":"Denning","year":"1977","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB7","unstructured":"M.D. Ernst, Practical fine-grained static slicing of optimized code, technical report MSR-TR-94-14, Microsoft Research, Redmond, WA, 1994."},{"key":"10.1016\/S0950-5849(98)00090-1_BIB8","doi-asserted-by":"crossref","unstructured":"J. Field, G. Ramalingam, F. Tip, Parametric program slicing, in: Proceedings of the 21st Symposium on Principles of Programming Languages, ACM, 1995, 379\u2013392.","DOI":"10.1145\/199448.199534"},{"issue":"1","key":"10.1016\/S0950-5849(98)00090-1_BIB9","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","article-title":"Interprocedural slicing using dependence graphs","volume":"12","author":"Horwitz","year":"1990","journal-title":"ACM TOPLAS"},{"issue":"3","key":"10.1016\/S0950-5849(98)00090-1_BIB10","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","article-title":"The CLP(R) language and system","volume":"14","author":"Jaffar","year":"1992","journal-title":"ACM TOPLAS"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB11","doi-asserted-by":"crossref","unstructured":"J. Jaffar, M. Maher, Constraint logic programming: a survey, Journal of Logic Programming (in press).","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB12","doi-asserted-by":"crossref","unstructured":"W. Landi, B. Ryder, A safe approximation algorithm for interprocedural pointer aliasing, in: Proceedings of SIGPLAN Programming Language Design and Implementation, ACM, 1992, pp. 93\u2013103.","DOI":"10.1145\/143095.143137"},{"issue":"5","key":"10.1016\/S0950-5849(98)00090-1_BIB13","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/390011.808263","article-title":"The program dependence graph in a software development environment","volume":"19","author":"Ottenstein","year":"1984","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"10.1016\/S0950-5849(98)00090-1_BIB14","doi-asserted-by":"crossref","first-page":"1248","DOI":"10.1145\/183432.183525","article-title":"Static analysis of upper and lower bounds on dependences and parallelism","volume":"16","author":"Pugh","year":"1994","journal-title":"ACM TOPLAS"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB15","doi-asserted-by":"crossref","unstructured":"T. Reps, S. Horwitz, M. Sagiv, G. Rosay, Speeding up slicing, in: Proceedings of the 2nd SIGSOFT Foundations of Software Engineering, ACM, 1994, pp. 11\u201320.","DOI":"10.1145\/193173.195287"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB16","doi-asserted-by":"crossref","unstructured":"G. Snelting, Combining slicing and constraint solving for validation of measurement software, in: Proceedings of the Static Analysis Symposium, LNCS 1145, 1996, pp. 332\u2013348.","DOI":"10.1007\/3-540-61739-6_51"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB17","doi-asserted-by":"crossref","unstructured":"C. Steindl, Intermodular slicing of object-oriented programs, in: International Conference on Compiler Construction (CC'98) (in press).","DOI":"10.1007\/BFb0026437"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB18","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip","year":"1995","journal-title":"Journal of Programming Languages"},{"key":"10.1016\/S0950-5849(98)00090-1_BIB19","doi-asserted-by":"crossref","unstructured":"F. Tip, J. Choi, J. Field, G. Ramalingam, Slicing class hierarchies in C++, in: Proceedings of the 11th Conference on Object-Oriented Programming Systems, Languages, and Applications, SIGPLAN Notices 31(10), pp. 179\u2013197.","DOI":"10.1145\/236337.236355"},{"issue":"5","key":"10.1016\/S0950-5849(98)00090-1_BIB20","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/71.159042","article-title":"The power test for data dependency","volume":"3","author":"Wolfe","year":"1992","journal-title":"IEEE Transactions on Parallel and Distributed Systems"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000901?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584998000901?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,14]],"date-time":"2020-01-14T20:37:25Z","timestamp":1579034245000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584998000901"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":20,"journal-issue":{"issue":"11-12","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["S0950584998000901"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(98)00090-1","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}