{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,31]],"date-time":"2025-07-31T00:29:41Z","timestamp":1753921781453},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617723"},{"type":"electronic","value":"9783540706779"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61772-8_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:23:30Z","timestamp":1330295010000},"page":"303-320","source":"Crossref","is-referenced-by-count":16,"title":["A theory of specification-based testing for object-oriented software"],"prefix":"10.1007","author":[{"given":"St\u00e9phane","family":"Barbey","sequence":"first","affiliation":[]},{"given":"Didier","family":"Buchs","sequence":"additional","affiliation":[]},{"given":"C\u00e9cile","family":"P\u00e9raire","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,6]]},"reference":[{"key":"19_CR1","first-page":"257","volume-title":"Open issues in testing object-oriented software","author":"S. Barbey","year":"1994","unstructured":"St\u00e9phane Barbey, Manuel Ammann, and Alfred Strohmeier. Open issues in testing object-oriented software. In Karol Fr\u00fchauf, editor, ECSQ '94 (European Conference on Software Quality), pages 257\u2013267, Basel, Switzerland, October 17\u201320 1994. vdf Hochschulverlag AG an der ETH Z\u00fcrich. Also available as Technical Report (EPFL-DI-LGL No 94\/45)."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Barbey, Didier Buchs, and C\u00e9cile P\u00e9raire. A theory of specification-based testing for object-oriented software. Technical Report 96\/163, EPFL-DI-LGL, January 1996.","DOI":"10.1007\/3-540-61772-8_45"},{"issue":"6","key":"19_CR3","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"Gilles Bernot, Marie-Claude Gaudel, and Bruno Marre. Software testing based on formal specifications: a theory and a tool. IEE Software Engineering Journal, 6(6):387\u2013405, November 1991.","journal-title":"IEE Software Engineering Journal"},{"key":"19_CR4","unstructured":"Olivier Biberstein and Didier Buchs. Structured algebraic nets with object-orientation. In Workshop on Object-Oriented Programming and Models of Concurrency '95, Turin, June 1995."},{"key":"19_CR5","unstructured":"Didier Buchs and Nicolas Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432\u2013454, Aahrus, Denmark, June 1991."},{"issue":"2","key":"19_CR6","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1145\/192218.192221","volume":"3","author":"R. Doong","year":"1994","unstructured":"Roong-Ko Doong and Phyllis G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2):101\u2013130, April 1994.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"19_CR7","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137\u2013161, January 1985.","journal-title":"Journal of the ACM"},{"key":"19_CR8","first-page":"348","volume-title":"Modelling and Simulation 1996","author":"J. Hulaas","year":"1996","unstructured":"Jarle Hulaas. An evolutive distributed algebraic petri nets simulator. In A. Javor, A. Lehmann, and I. Molnar, editors, Modelling and Simulation 1996, pages 348\u2013352, Budapest, Hungary, June 2\u20136 1996. 10th European Simulation Multiconference ESM96, Society for Computer Simulation International."},{"key":"19_CR9","volume-title":"S\u00e9lection automatique de jeux de tests \u00e0 partir de sp\u00e9cifications alg\u00e9briques en utilisant la programmation logique","author":"B. Marre","year":"1991","unstructured":"Bruno Marre. S\u00e9lection automatique de jeux de tests \u00e0 partir de sp\u00e9cifications alg\u00e9briques en utilisant la programmation logique. PhD thesis, LRI, Universit\u00e9 de Paris XI, Orsay, France, January 1991."},{"key":"19_CR10","unstructured":"Robin Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"19_CR11","unstructured":"James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, and William Lorensen. Object-Oriented Modeling and Design. Prentice Hall, 1991."},{"key":"19_CR12","unstructured":"Elaine J. Weyuker. The oracle assumption of program testing. In 13th International Conference on System Sciences, pages 44\u201349, Hawaii, USA, 1980."}],"container-title":["Lecture Notes in Computer Science","Dependable Computing \u2014 EDCC-2"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61772-8_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:37Z","timestamp":1605647437000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61772-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617723","9783540706779"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61772-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}