{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:25:05Z","timestamp":1726406705287},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:11:48Z","timestamp":1330175508000},"page":"261-275","source":"Crossref","is-referenced-by-count":8,"title":["Application of PROLOG to test sets generation from algebraic specifications"],"prefix":"10.1007","author":[{"given":"L.","family":"Boug\u00e9","sequence":"first","affiliation":[]},{"given":"N.","family":"Choquet","sequence":"additional","affiliation":[]},{"given":"L.","family":"Fribourg","sequence":"additional","affiliation":[]},{"given":"M. C.","family":"Gaudel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"W.R. Adrion, M.A. Branstad and J.C. Cherniavsky, \"Validation, verification and testing of computer software\", ACM Comp. Surv. 14, 2 (June 82).","DOI":"10.1145\/356876.356879"},{"key":"17_CR2","unstructured":"M. Bidoit, \"Putting together fair presentations of abstract data types into structured specifications\", Rept. No. 15\/81, GRECO, France (1981)."},{"key":"17_CR3","unstructured":"L. Boug\u00e9, \"Mod\u00e9lisation de la notion de test de programme; application \u00e0 la production de jeux de tests\", Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 Paris 6, Paris (Oct. 1982)."},{"key":"17_CR4","unstructured":"L. Boug\u00e9, \"A proposition for a theory of testing: an abstract approach to the testing process\", Rept. No. PB-160, DAIMI, Aarhus University, Denmark (may 83), to appear in Theor. Comp. Science."},{"key":"17_CR5","unstructured":"T.A. Budd \"Mutation analysis: ideas, examples, problems and prospects\", in: Computer Program Testing, B. Chandrasekran and S. Radicchi, eds. (North-Holland, 1981) 129\u2013148."},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF00625279","volume":"18","author":"T. A. Budd","year":"1982","unstructured":"T.A. Budd and D. Angluin, \"Two notions of correctness and their relation to testing\", Acta Informatica 18 (1982) 31\u201345.","journal-title":"Acta Informatica"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"T.A. Budd, R.A. De Millo, R.J. Lipton and F.G. Sayward, \"Theoretical and empirical studies on using program mutation to test the functional correctness of programs\", Proc. 7th Ann. ACM Symp. Princ. Prog. Lang., Las Vegas (Jan. 1980) 220\u2013233.","DOI":"10.21236\/ADA083078"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"B. Biebow and J. Hagelstein, \"Algebraic specification of synchronization and errors: a telephonic example\", Proc. Coll. Soft. Eng., Berlin (1985), this volume.","DOI":"10.1007\/3-540-15199-0_19"},{"key":"17_CR9","unstructured":"M. Bidoit, B. Biebow, M.C. Gaudel, D. Gresse and G. Guiho, \"Exception handling: formal specification and systematic program construction\", Proc. Int. Conf. Soft. Eng., Orlando, Florida (1984)."},{"key":"17_CR10","volume-title":"Predicate logic as a computational formalism","author":"K. L. Clark","year":"1977","unstructured":"K.L. Clark, \"Predicate logic as a computational formalism\", Research Rept., Dept. of Computing, Imperial College, London (1977)."},{"issue":"3","key":"17_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"SE-2","author":"L. Clarke","year":"1976","unstructured":"L. Clarke, \"A system to generate test data and symbollicaly execute programs\", IEEE Trans. Soft. Eng. SE-2, 3 (1976) 215\u2013222.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"17_CR12","unstructured":"N. Dershowitz and N.A. Josephson, \"Logic programming by completion\", Proc. 2nd Int. Logic Programming Conf., Uppsala, Sweden (July 1984) 313\u2013320."},{"key":"17_CR13","unstructured":"M. Dincbas and J.P. Le Pape, \"Metacontrol in logic programs in METALOG\", 5th Generation Conf., Tokyo, Janpan (Nov. 1984)."},{"key":"17_CR14","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0743-1066(84)90003-7","volume":"2","author":"L. Fribourg","year":"1984","unstructured":"L. Fribourg, \"Oriented equational clauses as a programming language\", J. Logic Programming, 2 (Oct. 1984) 165\u2013177.","journal-title":"J. Logic Programming"},{"key":"17_CR15","first-page":"6","volume":"9","author":"J.S. Gourlay","year":"1983","unstructured":"J.S. Gourlay, \"A mathematical framework for the investigation of testing\", IEEE trans. Soft. Eng. SE-9, 6 (1983).","journal-title":"Soft. Eng. SE-"},{"key":"17_CR16","first-page":"2","volume":"1","author":"J.B. Goodenough","year":"1975","unstructured":"J.B. Goodenough and S.L. Gerhart, \"Toward a theory of test data selection\", IEEE Trans. Soft. Eng. SE-1, 2 (1975).","journal-title":"IEEE Trans. Soft. Eng. SE-"},{"key":"17_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00260922","volume":"10","author":"J. Guttag","year":"1978","unstructured":"J. Guttag and J. Horning, \"The algebraic specification of abstract data types\", Acta Informatica 10, 1 (1978).","journal-title":"Acta Informatica"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer, \"Equality, types, modules and generics for logic programming\", Proc. 2nd Int. Logic Programming Conf., Uppsala, Sweden (July 1984) 115\u2013125.","DOI":"10.1016\/0743-1066(84)90004-9"},{"key":"17_CR19","unstructured":"R.G. Hamlet, \"Testing programs with finite sets of data\", Rept. No. TR-388, U. of Maryland, College Park (August 1975)."},{"issue":"3","key":"17_CR20","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TSE.1976.233816","volume":"SE-2","author":"W. E. Howden","year":"1976","unstructured":"W.E. Howden, \"Reliability of path analysis strategies\", IEEE Trans. Soft. Eng. SE-2, 3 (1976) 208\u2013214.","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"2","key":"17_CR21","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1109\/TSE.1980.230467","volume":"SE-6","author":"W. E. Howden","year":"1980","unstructured":"W.E. Howden, \"Functional program testing\", IEEE Trans. Soft. Eng. SE-6, 2 (1980) 162\u2013169.","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"4","key":"17_CR22","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1109\/TSE.1982.235571","volume":"SE-8","author":"W. E. Howden","year":"1982","unstructured":"W.E. Howden, \"Weak mutation testing and completeness of test sets\", IEEE Trans. Soft. Eng. SE-8, 4 (1982) 371\u2013379.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"J. Hsiang and M. Srivas, \"A Prolog environment for developing and reasoning about data types\", Proc. Coll. Soft. Eng., Berlin (1985), this volume.","DOI":"10.1007\/3-540-15199-0_18"},{"key":"17_CR24","unstructured":"H.J. Komorowski, \"Qlog \u2014 The software for prolog and logic programming\", Proc. of the Logic Programming Workshop, Debrecen, Hungary (1980) 305\u2013320."},{"key":"17_CR25","unstructured":"L. Naish, \"An introduction to MU-PROLOG\", Technical Rept., Dept. of Computer Science, U. of Melbourne (1982)."},{"key":"17_CR26","volume-title":"Approche pour une certification fonctionnelle de syst\u00e8mes \u00e0 partir de sp\u00e9cifications externes","author":"J. Paul","year":"1983","unstructured":"J. Paul, \"Approche pour une certification fonctionnelle de syst\u00e8mes \u00e0 partir de sp\u00e9cifications externes\", Internal rept., CIT, Lannion, France (1983)."},{"key":"17_CR27","doi-asserted-by":"crossref","unstructured":"D. Sanella and M. Wirsing, \"A kernel language for algebraic specification and implementation\", Proc. Int. Conf. Foundations Computing Theory, Bergholm, Sweden (Aug. 1983).","DOI":"10.1007\/3-540-12689-9_122"},{"issue":"3","key":"17_CR28","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/TSE.1980.234486","volume":"SE-6","author":"L. J. White","year":"1980","unstructured":"L.J. White, E.J. Cohen, \"A domain strategy for computer program testing\", IEEE Trans. Soft. Eng. SE-6, 3 (1980) 247\u2013257.","journal-title":"IEEE Trans. Soft. Eng."},{"issue":"3","key":"17_CR29","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1980.230473","volume":"SE-6","author":"M. R. Woodward","year":"1980","unstructured":"M.R. Woodward, D. Hedley and M.A. Hennel, \"Experience with path analysis and testing of programs\", IEEE Trans. Soft. Eng. SE-6, 3 (1980) 278\u2013285.","journal-title":"IEEE Trans. Soft. Eng."},{"key":"17_CR30","doi-asserted-by":"crossref","unstructured":"M. Wirsing, P. Pepper, H. Partsch, W. Dosch and M. Broy, \"On hierarchies of abstract data types\", Acta Informatica 20, 1 (Oct. 1983).","DOI":"10.1007\/BF00264293"},{"key":"17_CR31","unstructured":"S.H. Zeil, L.J. White, \"Sufficient test sets for path analysis testing strategy\", Proc. 5th Int. Conf. Soft. Eng., San Diego, Calif. (March 1981) 184\u2013191."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:08Z","timestamp":1605625688000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}