{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:35:15Z","timestamp":1773653715961,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540539810","type":"print"},{"value":"9783540464990","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540539816_63","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:19:49Z","timestamp":1330208389000},"page":"99-119","source":"Crossref","is-referenced-by-count":35,"title":["Testing against formal specifications: A theoretical view"],"prefix":"10.1007","author":[{"given":"Gilles","family":"Bernot","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"9_CR1","unstructured":"J. Goguen, J. Thatcher, E. Wagner: An initial algebra approach to the specification, correctness, and implementation of abstract data types, Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"L. Boug\u00e9, N. Choquet, L. Fribourg, M. C. Gaudel: Application of PROLOG to test sets generation from algebraic specifications, Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin (R.F.A), Springer-Verlag LNCS 186, pp.246\u2013260, March 1985.","DOI":"10.1007\/3-540-15199-0_17"},{"issue":"4","key":"9_CR3","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(86)90004-X","volume":"6","author":"L. Boug\u00e9","year":"1986","unstructured":"L. Boug\u00e9, N. Choquet, L. Fribourg, M. C. Gaudel: Test sets generation from algebraic specifications using logic programming, Journal of Systems and Software Vol 6, no4, pp.343\u2013360, November 1986.","journal-title":"Journal of Systems and Software"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"G. Bernot, M. C. Gaudel, B. Marre: Software testing based on formal specifications: a theory and a tool, To appear in Software Engineering Journal, U.K., 1991. (also: Internal Report LRI no581, Orsay, France, June 1990.)","DOI":"10.1049\/sej.1991.0040"},{"key":"9_CR5","unstructured":"G. Bernot: A formalism for test with oracle based on algebraic specifications, LIENS Report 89-4, LIENS\/DMI, Ecole Normale Sup\u00e9rieure, Paris, France, May 1989."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"L. Boug\u00e9: A proposition for a theory of testing: an abstract approach to the testing process, Theoretical Computer Science 37, North-Holland, 1985.","DOI":"10.1016\/0304-3975(85)90090-8"},{"key":"9_CR7","unstructured":"C. P. Gerrard, D. Coleman, R. Gallimore: Formal Specification and Design Time Testing, Software Science ltd, technical report, June 1985."},{"key":"9_CR8","unstructured":"J. B. Goodenough, S. L. Gerhart: Towards a theory of test data selection, IEEE trans. soft. Eng. SE-1, 2, 1975. (Also: SIGPLAN Notices 10 (6), 1975.)"},{"issue":"3","key":"9_CR9","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/357139.357140","volume":"3","author":"J. Gannon","year":"1981","unstructured":"J. Gannon, P. McMullin, R. Hamlet: Data-Abstraction Implementation, Specification, and Testing, ACM transactions on Programming Languages and Systems, Vol 3, no 3, July 1981, pp.211\u2013223.","journal-title":"ACM transactions on Programming Languages and Systems"},{"key":"9_CR10","unstructured":"M. C. Gaudel, B. Marre: Algebraic specifications and software testing: theory and application, Internal Report LRI 407, Orsay, France, February 1988, and extended abstract in Proc. workshop on Software Testing, Banff, IEEE-ACM, July 1988."},{"key":"9_CR11","volume-title":"S\u00e9lection automatique de jeux de tests a partir de specifications algebriques, en utilisant la programmation logique","author":"B. Marre","year":"1990","unstructured":"B. Marre: S\u00e9lection automatique de jeux de tests a partir de specifications algebriques, en utilisant la programmation logique, Ph. D. Thesis, LRI, Universit\u00e9 de Paris XI, Orsay, France, January 1990."},{"key":"9_CR12","unstructured":"G. Rigal: Generating Acceptance Tests from SADT\/SPECIF, IGL technical report, August 1986."},{"key":"9_CR13","unstructured":"O. Schoett: Data abstraction and the correctness of modular programming, Ph. D. Thesis, Univ. of Edinburgh, 1986."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"G. T. Scullard: Test Case Selection using VDM, VDM'88, Dublin, 1988, LNCS no 328 pp 178\u2013186.","DOI":"10.1007\/3-540-50214-9_16"},{"key":"9_CR15","first-page":"44","volume":"1","author":"E. J. Weyuker","year":"1980","unstructured":"E. J. Weyuker: The oracle assumption of program testing, Proc. 13th Hawaii Intl. Conf. Syst. Sciences 1, pp.44\u201349, 1980.","journal-title":"Proc. 13th Hawaii Intl. Conf. Syst. Sciences"},{"issue":"4","key":"9_CR16","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/comjnl\/25.4.465","volume":"25","author":"E. J. Weyuker","year":"1982","unstructured":"E. J. Weyuker: On testing non testable programs, The Computer Journal 25, 4, pp.465\u2013470, 1982.","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540539816_63.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:51:37Z","timestamp":1605646297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540539816_63"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539810","9783540464990"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3540539816_63","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991]]}}}