{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:38:05Z","timestamp":1725493085703},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540440499"},{"type":"electronic","value":"9783540457060"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45706-2_12","type":"book-chapter","created":{"date-parts":[[2007,10,7]],"date-time":"2007-10-07T05:37:18Z","timestamp":1191735438000},"page":"113-120","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Integrating Temporal Assertions into a Parallel Debugger"],"prefix":"10.1007","author":[{"given":"Jozsef","family":"Kovacs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Kusper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Lovas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Schreiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,8,20]]},"reference":[{"key":"12_CR1","volume-title":"Model Checking","author":"E. M. Clarke Jr","year":"1999","unstructured":"E. M. Clarke, Jr., O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999."},{"issue":"12","key":"12_CR2","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/174267.174276","volume":"28","author":"J. Cuny","year":"1993","unstructured":"J. Cuny et al. The Ariadne Debugger: Scalable Application of Event-Based Abstraction. SIGPLAN Notices, 28(12):85\u201395, December 1993.","journal-title":"SIGPLAN Notices"},{"key":"12_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification, 7th International SPIN Workshop","author":"D. Drusinsky","year":"2000","unstructured":"D. Drusinsky. The Temporal Rover and the ATG Rover. In SPIN Model Checking and Software Verification, 7th International SPIN Workshop, volume 1885 of LNCS, pages 323\u2013330, Stanford, CA, August 30-September 1, 2000. Springer."},{"key":"12_CR4","volume-title":"Master\u2019s thesis","author":"J. Hakansson","year":"2000","unstructured":"J. Hakansson. Automated Generation of Test Scripts from Temporal Logic Specifications. Master\u2019s thesis, Uppsala University, Sweden, 2000."},{"issue":"1","key":"12_CR5","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1145\/69215.69234","volume":"24","author":"A. Hough","year":"1988","unstructured":"A. Hough and J. Cuny. Initial Experiences with a Pattern-Oriented Parallel Debugger. SIGPLAN Notices, 24(1):195\u2013205, January 1988.","journal-title":"SIGPLAN Notices"},{"issue":"6","key":"12_CR6","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1016\/S0167-739X(99)00074-6","volume":"16","author":"P. Kacsuk","year":"2000","unstructured":"P. Kacsuk. Systematic Macrostep-by Macrostep Debugging of Message Passing Parallel Programs. Future Generation Computer Systems, 16(6):609\u2013624, 2000.","journal-title":"Future Generation Computer Systems"},{"key":"12_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/3-540-48311-X_8","volume-title":"5th Euro-Par Conference","author":"P. Kacsuk","year":"1999","unstructured":"P. Kacsuk, R. Lovas, and J. Kov\u00e1cs. Systematic Debugging of Parallel Programs in DIWIDE Based on Collective Breakpoints and Macrosteps. In P. Amestoy et al., editors, 5th Euro-Par Conference, volume 1685 of Lecture Notes in Computer Science, pages 90\u201397, Toulouse, France, August 31 \u2014 September 3, 1999. Springer."},{"key":"12_CR8","unstructured":"D. Kranzlm\u00fcller. Event Graph Analysis for Debugging Massively Parallel Programs. PhD thesis, Johannes Kepler University, September 2000."},{"key":"12_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/3-540-49164-3_47","volume-title":"Parallel Computation, 4th International AC PC Conference","author":"D. Kranzlm\u00fcller","year":"1999","unstructured":"D. Kranzlm\u00fcller and J. Volkert. NOPE: A Nondeterministic Program Evaluator. In Parallel Computation, 4th International AC PC Conference, volume 1557 of LNCS, pages 490\u2013499, Salzburg, Austria, February 16-18, 1999. Springer."},{"key":"12_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems \u2014 Specification","author":"Z. Manna","year":"1992","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems \u2014 Specification. Springer, Berlin, 1992."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"S. Shende et al. Event-and State-based Debugging in TAU: A Prototype. In ACM SIGMETRICS Symposium on Parallel and Distributed Tools, pages 21\u201330, Philadelphia, PA, May 1996.","DOI":"10.1145\/238020.238030"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2002 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45706-2_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:18:41Z","timestamp":1587341921000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45706-2_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440499","9783540457060"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-45706-2_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"20 August 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}