{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:31:38Z","timestamp":1725492698775},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433637"},{"type":"electronic","value":"9783540459279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45927-8_12","type":"book-chapter","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T05:39:04Z","timestamp":1192772344000},"page":"162-177","source":"Crossref","is-referenced-by-count":3,"title":["Tool Support for Improving Test Coverage"],"prefix":"10.1007","author":[{"given":"Susan","family":"Horwitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,14]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/176454.176456","volume":"2","author":"T. Ball","year":"1993","unstructured":"T. Ball. What\u2019s in a region-or-computing control dependence regions in linear time for reducible control-flow. ACM Trans. on Programming Languages and Systems, 2(1\u20134):1\u201316, 1993.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"S. Bates and S. Horwitz. Incremental program testing using program dependence graphs. In Proc. ACM Symp. on Principles of Programming Languages (POPL), pages 384\u2013396, January 1993.","DOI":"10.1145\/158511.158694"},{"key":"12_CR3","unstructured":"Bullseye Testing Technology C-Cover. \n                    http:\/\/www.bullseye.com\n                    \n                  ."},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/S0019-9958(83)80050-3","volume":"56","author":"M. Davis","year":"1983","unstructured":"M. Davis and E. Weyuker. A formal notion of program-based test data adequacy. Inform. and Contr., 56(1\u20132):52\u201371, Jan\u2013Feb 1983.","journal-title":"Inform. and Contr."},{"key":"12_CR5","unstructured":"M. Dwyer et al. Slicing multi-threaded Java programs: A case study. Technical Report 99-7, Kansas State University Computing and Information Sciences, 1999."},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Trans. on Programming Languages and Systems, 9(3):319\u2013349, July 1987.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"12_CR7","unstructured":"GrammaTech, Inc. Codesurfer user guide and reference manual, 2000."},{"issue":"1","key":"12_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1145\/77606.77608","volume":"12","author":"S. Horwitz","year":"1990","unstructured":"S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. on Programming Languages and Systems, 12(1):26\u201360, January 1990.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"J. Krinke. Static slicing of threaded programs. In Proc. ACM SIGPLAN\/SIGSOFT Workshop on Program Analysis for Tools and Software Eng., June 1998.","DOI":"10.1145\/277631.277638"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"M. Nanda and S. Ramesh. Slicing concurrent programs. In Proc. Int. Symp. on Software Testing and Analysis, August 2000.","DOI":"10.1145\/347324.349121"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"A. Rountev and B. Ryder. Points-to and side-effect analyses for programs built with precompiled libraries. In Int. Conf. on Compiler Construction, April 2001.","DOI":"10.1007\/3-540-45306-7_3"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"S. Sinha, M. Harrold, and G. Rothermel. System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow. In Int. Conf. on Software Eng., pages 432\u2013441, May 1999.","DOI":"10.1145\/302405.302675"},{"key":"12_CR13","unstructured":"Rational Software. \n                    http:\/\/www.rational.com\/products\/pqc\/index.jsp\n                    \n                  ."},{"key":"12_CR14","unstructured":"Software Research, Inc. \n                    http:\/\/www.soft.com\/products\/web\/tcat.java.html\n                    \n                  ."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45927-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T04:19:48Z","timestamp":1550981988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45927-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433637","9783540459279"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45927-8_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}