{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:47:57Z","timestamp":1725551277717},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635314"},{"type":"electronic","value":"9783540695929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63531-9_26","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T20:01:15Z","timestamp":1270497675000},"page":"378-394","source":"Crossref","is-referenced-by-count":5,"title":["Feasible test path selection by principal slicing"],"prefix":"10.1007","author":[{"given":"Istv\u00e1n","family":"Forg\u00e1cs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonia","family":"Bertolino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,1]]},"reference":[{"key":"26_CR1","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1109\/ICSM.1993.366927","volume-title":"Proc. of the 1993 IEEE Conf, on Software Maintenance","author":"H. Agrawal","year":"1993","unstructured":"H. Agrawal, J.R. Horgan, E.W. Krauser and S.A. London. Incremental regression testing, Proc. of the 1993 IEEE Conf, on Software Maintenance, Montreal, Canada, 348\u2013357 (1993)"},{"key":"26_CR2","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"B. Beizer. Software Testing Techniques, Second Edition. Van Nostrand Reinhold, New York. 1990.","edition":"Second Edition"},{"issue":"12","key":"26_CR3","doi-asserted-by":"crossref","first-page":"885","DOI":"10.1109\/32.368137","volume":"20","author":"A. Bertolino","year":"1994","unstructured":"A. Bertolino and M. Marre. Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. on Software Eng., 20(12):885\u2013899, (1994).","journal-title":"IEEE Trans. on Software Eng."},{"issue":"3","key":"26_CR4","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"L. A. Clarke","year":"1976","unstructured":"L. A. Clarke. A system to generate test data and simbolically execute programs. IEEE Trans. on Software Eng., 2(3):215\u2013222, (1976).","journal-title":"IEEE Trans. on Software Eng."},{"key":"26_CR5","doi-asserted-by":"crossref","unstructured":"R. Conradi, Experience with FORTRAN VERIFIER \u2014 A tool for documentation an error diagnosis of FORTRAN-77 programs Proc. 1st European Software Engineering Conference, Strasburg, France 8\u201311 Sept. 263-275 Springer Verlag LNCS 289 (1987)","DOI":"10.1007\/BFb0022119"},{"issue":"9","key":"26_CR6","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R. A. DeMillo","year":"1991","unstructured":"R. A. DeMillo and A.J. Offutt. Constraint-based automatic test generation. IEEE Trans. on Software Eng., 17(9):900\u2013910, (1991).","journal-title":"IEEE Trans. on Software Eng."},{"issue":"1","key":"26_CR7","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"R. Ferguson and B. Korel. The chaining approach for software test data generation. ACM Trans. on Software Eng. and Meth., 5(1):63\u201386, (1996)","journal-title":"ACM Trans. on Software Eng. and Meth."},{"issue":"1","key":"26_CR8","doi-asserted-by":"crossref","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. Progr. Lang. Syst., 12(1):26\u201361, (1990).","journal-title":"Progr. Lang. Syst."},{"issue":"4","key":"26_CR9","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1109\/TSE.1977.231144","volume":"3","author":"W. E. Howden","year":"1977","unstructured":"W. E. Howden. Symbolic testing and the DISSECT symbolic evaluation system. IEEE Trans. on Software Eng., 3(4):266\u2013278, (1977).","journal-title":"IEEE Trans. on Software Eng."},{"issue":"3","key":"26_CR10","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0164-1212(94)00099-9","volume":"31","author":"M. Kamkar","year":"1995","unstructured":"M. Kamkar. An overview and comparative classification of program slicing techniques. Journal of Systems and Software, 31(3):197\u2013214, (1995)","journal-title":"Journal of Systems and Software"},{"issue":"8","key":"26_CR11","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"B. Korel. Automated software test data generation. IEEE Trans. on Software Eng., 16(8):870\u2013879, (1990).","journal-title":"IEEE Trans. on Software Eng."},{"issue":"4","key":"26_CR12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1002\/stvr.4370020405","volume":"2","author":"B. Korel","year":"1992","unstructured":"B. Korel. Dynamic method for software test data generation. J. Softw. Testing Verif. Reliab. 2(4):203\u2013213, (1992)","journal-title":"J. Softw. Testing Verif. Reliab."},{"issue":"3","key":"26_CR13","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/0164-1212(90)90094-3","volume":"13","author":"B. Korel","year":"1990","unstructured":"B. Korel and J. Laski. Dynamic slicing of computer programs. Journal of Systems and Software, 13(3):187\u2013195, (1990)","journal-title":"Journal of Systems and Software"},{"key":"26_CR14","doi-asserted-by":"crossref","unstructured":"M. Marre and A. Bertolino. Reducing and estimating the cost of test coverage criteria. In Proc. ACM\/IEEE Int. Conf. Software Eng. ICSE-18, pages 486\u2013494, Berlin, Germany, March 1996.","DOI":"10.1109\/ICSE.1996.493443"},{"issue":"5","key":"26_CR15","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/390011.808263","volume":"19","author":"K.J. Ottenstein","year":"1984","unstructured":"K.J. Ottenstein and L.M. Ottenstein. The program dependence graph in a software development environment. ACM SIGPLAN Notices, 19(5):177\u2013184, (1984)","journal-title":"ACM SIGPLAN Notices"},{"key":"26_CR16","doi-asserted-by":"crossref","unstructured":"G.A. Venkatesh. The semantic approach to program slicing Proc. of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation Toronto, Canada, 107\u2013119 (1991)","DOI":"10.1145\/113446.113455"},{"issue":"4","key":"26_CR17","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser. Program slicing. IEEE Trans. on Software Eng., 10(4):352\u2013357, (1984).","journal-title":"IEEE Trans. on Software Eng."},{"issue":"4","key":"26_CR18","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1137\/0208047","volume":"8","author":"E. Weyuker","year":"1979","unstructured":"E. Weyuker. Translatability and decidability questions for restricted classes of program schemas. SIAM Journal on Computers, 8(4):587\u2013598, (1979)","journal-title":"SIAM Journal on Computers"},{"issue":"3","key":"26_CR19","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.1980.234486","volume":"6","author":"L. J. White","year":"1980","unstructured":"L. J. White and E. I. Cohen. A domain strategy for computer program testing. IEEE Trans. on Software Eng., 6(3):247\u2013257, (1980).","journal-title":"IEEE Trans. on Software Eng."},{"issue":"8","key":"26_CR20","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/75309.75315","volume":"14","author":"D. F. Yates","year":"1989","unstructured":"D. F. Yates and N. Malevris. Reducing the effects of infeasible paths in branch testing. ACM SIGSOFT Software Engineering Notes, 14(8):48\u201354, (1989).","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"3","key":"26_CR21","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF01351925","volume":"4","author":"D. F. Yates","year":"1995","unstructured":"D. F. Yates and N. Malevris. The effort required by LCSAJ testing: an assessment via a new path generation strategy. Software Quality J., 4(3):227\u2013242, (1995).","journal-title":"Software Quality J."}],"container-title":["Lecture Notes in Computer Science","Software Engineering \u2014 ESEC\/FSE'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63531-9_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T00:23:15Z","timestamp":1559002995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63531-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635314","9783540695929"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-63531-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}