{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:56Z","timestamp":1761611216114},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657033"},{"type":"electronic","value":"9783540490593"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-49059-0_28","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:56:57Z","timestamp":1194991017000},"page":"405-419","source":"Crossref","is-referenced-by-count":21,"title":["Path Exploration Tool"],"prefix":"10.1007","author":[{"given":"Elsa L.","family":"Gunter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,3,12]]},"reference":[{"key":"28_CR1","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"R. Alur, G. Holzmann, D. Peled, An Analyzer for Message Sequence Charts, Software: Concepts and Tools, 17 (1996), 70\u201377.","journal-title":"Software: Concepts and Tools"},{"key":"28_CR2","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/0304-3975(92)90054-J","volume":"101","author":"S. Katz","year":"1992","unstructured":"S. Katz, D. Peled, Defining conditional independence using collapses, Theoretical Computer Science 101 (1992), 337\u2013359.","journal-title":"Theoretical Computer Science"},{"key":"28_CR3","unstructured":"ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993."},{"key":"28_CR4","unstructured":"G. J. Myers, The Art of Software Testing, John Wiley and Sons, 1979."},{"key":"28_CR5","series-title":"Lect Notes Comput Sci","first-page":"279","volume-title":"Advances in Petri Nets 1986","author":"A. Mazurkiewicz","year":"1987","unstructured":"A. Mazurkiewicz, Trace Theory, Advances in Petri Nets 1986, Bad Honnef, Germany, LNCS 255, Springer, 1987, 279\u2013324."},{"key":"28_CR6","unstructured":"E. Koutsofious, S. C. North, Drawing Graphs with dot, available on \n                    http:\/\/research.att.com in dist\/drawdag\/dotguide.ps.Z\n                    \n                  ."},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0022-0000(78)90021-1","volume":"16","author":"D. C. Oppen","year":"1978","unstructured":"D. C. Oppen, A 2 Upper Bound on the Complexity of Presburger Arithmetic, Journal of Computer and System Sciences 16, 1978, 323\u2013332.","journal-title":"Journal of Computer and System Sciences"},{"key":"28_CR8","unstructured":"B. Selic, G. Gullekson, P. T. Ward, Real-Time Object-Oriented Modeling, Wiley, 1993."},{"issue":"4","key":"28_CR9","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"11","author":"S. Rapps","year":"1985","unstructured":"S. Rapps, E. J. Weyuker, Selecting Software Test Data Using Data Flow Information, Transactions on Software Engineering 11(4): 367\u2013375 (1985).","journal-title":"Transactions on Software Engineering"},{"issue":"4","key":"28_CR10","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser, Program Slicing, IEEE Transactions on Software Engineering, 10(4), 1984, 352\u2013357.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49059-0_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T08:04:37Z","timestamp":1551081877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49059-0_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657033","9783540490593"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-49059-0_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}