{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:07Z","timestamp":1725484267619},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437031"},{"type":"electronic","value":"9783540478843"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47884-1_6","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T16:46:26Z","timestamp":1179593186000},"page":"89-108","source":"Crossref","is-referenced-by-count":0,"title":["Assume-Guarantee Algorithms for Automatic Detection of Software Failures"],"prefix":"10.1007","author":[{"given":"Mohammad","family":"Zulkernine","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rudolph E.","family":"Seviora","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"key":"6_CR1","series-title":"Lect Notes Comput Sci","volume-title":"How did software get so reliable without proof","author":"C.A.R. Hoare","year":"1996","unstructured":"C.A.R. Hoare, \u201cHow did software get so reliable without proof,\u201d Lecture Notes in Computer Science, vol. 1051, Springer-Verlag, 1996."},{"doi-asserted-by":"crossref","unstructured":"R. Glass, \u201cPersistent Software Errors,\u201d IEEE Transactions on Software Engineering, 7(2), pp. 162\u2013168, March 1981.","key":"6_CR2","DOI":"10.1109\/TSE.1981.230831"},{"issue":"4","key":"6_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.585151","volume":"30","author":"D. Kuhn","year":"1997","unstructured":"D. Kuhn, \u201cSources of Failure in the Public Switched Telephone Network,\u201d IEEE Computer, vol. 30, no. 4, pp. 31\u201336, April 1997.","journal-title":"IEEE Computer"},{"key":"6_CR4","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"The Need for Compositional Proof Systems: A Survey","author":"W. P. Roever de","year":"1997","unstructured":"W. P. de Roever, \u201cThe Need for Compositional Proof Systems: A Survey,\u201d Lecture Notes in Computer Science, vol. 1536, pp. 1\u201322, Springer-Verlag, 1997."},{"issue":"4","key":"6_CR5","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"J. Misra and K. Chandy, \u201cProofs of Networks of Processes,\u201d IEEE Transactions on Software Engineering, 7(4), pp. 417\u2013426, July 1981.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C. B. Jones","year":"1983","unstructured":"C. B. Jones, \u201cTentative steps towards a development method for interfering programs,\u201d ACM Trans. on Programming Languages and Systems, 5(4):596\u2013619, 1983.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"6_CR7","series-title":"Lect Notes Comput Sci","volume-title":"Lazy Compositional Verification","author":"N. Shankar","year":"1997","unstructured":"N. Shankar, \u201cLazy Compositional Verification,\u201d Lecture Notes in Computer Science, vol. 536, Springer-Verlag, 1997."},{"unstructured":"IEEE, Software Engineering: Customer and Terminology Standards, vol. 1, IEEE, 1999.","key":"6_CR8"},{"doi-asserted-by":"crossref","unstructured":"J. C. Laprie, Dependability: Basic Concepts and Terminology-English, French, German, and Japanese, Vienna, Springer-Verlag, 1992.","key":"6_CR9","DOI":"10.1007\/978-3-7091-9170-5"},{"unstructured":"M. Barnett and W. Schulte, \u201cSpying on Components: A Runtime Verification Technique in Specification and Verification of Component-Based Systems,\u201d Proc. of the Workshop on Specification and Verification of Component Based Systems-OOP-SLA\u2019 2001, Tampa, Florida, USA, October, 2001.","key":"6_CR10"},{"unstructured":"M. Barnett, L. Nachmanson, and W. Schulte, \u201cConformance Checking of Components Against Their Non-deterministic Specifications\u201d, Technical Report MSR-TR-2001-56, Microsoft Research, June 2001.","key":"6_CR11"},{"key":"6_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Assume-Guarantee Model Checking of Software: A Comparative Case Study","author":"C. Pasareanu","year":"1999","unstructured":"C. Pasareanu, M. Dwyer, and M. Huth, \u201cAssume-Guarantee Model Checking of Software: A Comparative Case Study,\u201d Lecture Notes in Computer Science, vol. 680, Springer-Verlag, September 1999."},{"unstructured":"M. Zulkernine and R. Seviora, \u201cStable States Based Monitoring of Real-Time Software Systems,\u201d Proc. of the 8th Intl. Conference on Real-Time Computing Systems and Applications, Tokyo, Japan, March 2002.","key":"6_CR13"},{"issue":"8","key":"6_CR14","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/2.707619","volume":"21","author":"T. Savor","year":"1998","unstructured":"T. Savor and R. Seviora, \u201cToward Automatic Detection of Software Failures,\u201d IEEE Computer, vol. 21, no. 8, pp. 68\u201374, August 1998.","journal-title":"IEEE Computer"},{"doi-asserted-by":"crossref","unstructured":"J. Li and R. Seviora, \u201cAutomatic Failure Detection with Conditional Belief Supervisors,\u201d Proc. of the 7th International Symposium on Software Reliability Engineering, IEEE CS Press, pp. 4\u201313, October 1996.","key":"6_CR15","DOI":"10.1109\/ISSRE.1996.558672"},{"key":"6_CR16","volume-title":"Recommendation Z.100, Specification and Description Language-SDL","author":"ITU-T","year":"2000","unstructured":"ITU-T, Recommendation Z.100, Specification and Description Language-SDL, ITU-Telecommunication Standardization Sector, Geneva, Switzerland, 2000."},{"key":"6_CR17","volume-title":"Recommendation Z.109, SDL Combined with UML","author":"ITU-T","year":"2000","unstructured":"ITU-T, Recommendation Z.109, SDL Combined with UML, ITU-Telecommunication Standardization Sector, Geneva, Switzerland, 2000."},{"unstructured":"D. Bear, Principles of Telecommunication-Traffic Engineering, IEE Telecommunication Series 2, Peter Peregrinus Ltd., pp. 192\u2013200, London, England, 1988.","key":"6_CR18"},{"issue":"12","key":"6_CR19","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.368136","volume":"20","author":"M. Diaz","year":"1994","unstructured":"M. Diaz, G. Juanole, and J. Courtiat, \u201cObserver-a concept for formal on-line validation of distributed systems,\u201d IEEE Transactions on Software Engineering, vol. 20, no. 12, pp. 900\u2013913, December 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"6_CR20","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/90.222906","volume":"1","author":"C. Wang","year":"1993","unstructured":"C. Wang and M. Schwartz, \u201cFault Detection with multiple observers,\u201d IEEE\/ACM Transactions on Networking, vol. 1, no. 1, pp. 48\u201355, February 1993.","journal-title":"IEEE\/ACM Transactions on Networking"},{"doi-asserted-by":"crossref","unstructured":"D. Lee, A Netravali, K. Sabnani, B. Sugla, and A. John, \u201cPassive Testing and Applications to Network Management,\u201d Proc. of the IEEE International Conference on Network Protocols, pp. 113\u2013122, October 1997.","key":"6_CR21","DOI":"10.1109\/ICNP.1997.643699"},{"key":"6_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1007\/3-540-48119-2_50","volume-title":"A GSM-MAP Protocol Experiment Using Passive Testing","author":"M. Tabourier","year":"1999","unstructured":"M. Tabourier, A. Cavalli, and M. Ionescu, \u201cA GSM-MAP Protocol Experiment Using Passive Testing,\u201d Lecture Notes in Computer Science, vol. 1708, pp. 915\u2013934, Springer-Verlag, 1999."},{"doi-asserted-by":"crossref","unstructured":"S. Sankar and M. Mandal, \u201cConcurrent runtime monitoring of formally specified programs,\u201d IEEE Computer, pp. 32\u201341, March 1993.","key":"6_CR23","DOI":"10.1109\/2.204684"},{"issue":"6","key":"6_CR24","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/268999.269003","volume":"44","author":"M. Blum","year":"1997","unstructured":"M. Blum and H. Wasserman, \u201cSoftware Reliability via Run-Time Result-Checking,\u201d Journal of the ACM, vol. 44, no. 6, pp. 826\u2013849, November 1997.","journal-title":"Journal of the ACM"},{"issue":"2","key":"6_CR25","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1109\/24.257793","volume":"41","author":"D. Brown","year":"1992","unstructured":"D. Brown, R. Roggio, J. Cross, and C. McCreary, \u201cAn Automated Oracle for Software Testing,\u201d IEEE Trans. on Reliability, vol. 41, no. 2, pp. 272\u2013279, 1992.","journal-title":"IEEE Trans. on Reliability"},{"unstructured":"John R. Connet, Edward J. Pasternak, and Brude D. Wagner, \u201cSoftware Defenses in Real-time Control Systems,\u201d Proc. of the IEEE Fault-Tolerant Computing Symposium, pp. 94\u201399, June 1972.","key":"6_CR26"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47884-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:37:44Z","timestamp":1556415464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47884-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437031","9783540478843"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-47884-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}