{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:45:56Z","timestamp":1764053156813},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417910"},{"type":"electronic","value":"9783540452515"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45251-6_35","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T01:53:28Z","timestamp":1186883608000},"page":"611-628","source":"Crossref","is-referenced-by-count":11,"title":["A Combined Testing and Verification Approach for Software Reliability"],"prefix":"10.1007","author":[{"given":"Natasha","family":"Sharygina","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":[[2001,3,16]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Cetin, M., Kapoor, C., Tesar, D.: Performance based robot redundancy resolution with multiple criteria, Proc. of ACME Design Engineering Technical Conference, Georgia (1998)","DOI":"10.1115\/DETC98\/MECH-5864"},{"key":"35_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Workshop on Logic of Programs","author":"E.M. Clarke","year":"1981","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. Workshop on Logic of Programs, Yorktown Heights, NY. Lecture Notes in Computer Science, Vol. 131. Springer-Verlag, Berlin Heidelberg New York (1981)"},{"key":"35_CR3","unstructured":"Clarke, E.M., Grunberg, O., and Peled, D.: Model Checking, MIT Press (1999)"},{"issue":"8","key":"35_CR4","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs, Comm. ACM, Vol. 18(8) 1975 453\u2013457","journal-title":"Comm. ACM"},{"key":"35_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-10003-2_69","volume-title":"Characterizing correctness properties of parallel programs using fixpoints","author":"E.A. Emerson","year":"1980","unstructured":"Emerson, E.A., Clarke, E.M.: Characterizing correctness properties of parallel programs using fixpoints, Lecture Notes in Computer Science, Vol. 85, Springer-Verlag, Berlin Heidelberg New York (1980) 169\u2013181"},{"key":"35_CR6","unstructured":"Graig, J.J: Introduction to Robotics: Mechanics and Control. Addison-Wesley (1989)"},{"key":"35_CR7","first-page":"405","volume-title":"Proceeding of TACAS 1999","author":"E.L. Gunter","year":"1999","unstructured":"Gunter, E.L., Peled, D.: Path Exploration Tool, Proceeding of TACAS 1999, Amsterdam, The Netherlands, (1999) 405\u2013419"},{"key":"35_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-46428-X_3","volume-title":"Proceedings of FASE 2000","author":"D. Harel","year":"2000","unstructured":"Harel, D.: From Play-In Scenarios to Code: An Achievable Dream, Proceedings of FASE 2000, Berlin, Germany, Lecture Notes in Computer Science, Vol. 1783, Springer-Verlag, Berlin Heidelberg New York (2000) 22\u201334"},{"issue":"8","key":"35_CR9","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes, Comm. ACM, Vol. 21(8) (1978) 666\u2013677","journal-title":"Comm. ACM"},{"key":"35_CR10","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming, Comm. ACM, Vol. 12 (1969) 576\u2013580","journal-title":"Comm. ACM"},{"key":"35_CR11","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols, Prentice Hall Software Series, (1992)"},{"issue":"2","key":"35_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Jackson, D.: Aspect: Detecting Bugs with Abstract Dependencies. ACM Transactions on Software Engineering and Methodology, Vol. 4(2) (1995) 279\u2013295","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"35_CR13","unstructured":"Kapoor, C., and Tesar, D.: A Reusable Operational Software Architecture for Advanced Robotics (OSCAR), The University of Texas at Austin, Report to U.S. Dept. of Energy, Grant No. DE-FG01 94EW37966 and NASA Grant No. NAG 9-809 (1998)"},{"key":"35_CR14","unstructured":"Kernighan, B., and Ritchie, D.: The C programming Language, Prentice Hall (1988)"},{"key":"35_CR15","unstructured":"Myers, G.J.: The Art of Software Testing, Wiley (1979)"},{"key":"35_CR16","unstructured":"Murphy, G., Notkin, D., and Sullivan, K: Software Reflexion Models: Bridging the Gap between Source and High-Level Models, In Proceedings of SIGSOFT\u201995 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM (1995) 18\u201328"},{"key":"35_CR17","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs, Proc. of the 18th IEEE Symp. on Foundation of Computer Science (1977) 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"35_CR18","unstructured":"Quielle, J.P., and Sifakis, J.: Specification and verification of concurrent systems in CESAR, Proceedings of the 5th International Symposium on Programming (1981) 337\u2013350"},{"key":"35_CR19","unstructured":"SES inc., ObjectBench Technical Reference, SES Inc. (1998)"}],"container-title":["Lecture Notes in Computer Science","FME 2001: Formal Methods for Increasing Software Productivity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45251-6_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,21]],"date-time":"2021-08-21T12:29:26Z","timestamp":1629548966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45251-6_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417910","9783540452515"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45251-6_35","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}