{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:57:07Z","timestamp":1755601027493},"reference-count":41,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":8600,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Logic Programming"],"published-print":{"date-parts":[[1990,1]]},"DOI":"10.1016\/0743-1066(90)90053-8","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:47:32Z","timestamp":1027655252000},"page":"95-119","source":"Crossref","is-referenced-by-count":25,"title":["Mockingbird: A logical methodology for testing"],"prefix":"10.1016","volume":"8","author":[{"given":"Michael M.","family":"Gorlick","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carl F.","family":"Kesselman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel A.","family":"Marotta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Stott Parker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0743-1066(90)90053-8_BIB1","series-title":"1984 International Symposium on Logic Programming","first-page":"233","article-title":"Definite Clause Translation Grammars","author":"Abramson","year":"1984"},{"issue":"4","key":"10.1016\/0743-1066(90)90053-8_BIB2","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1109\/TSE.1982.235428","article-title":"An Automatic Generator for Compiler Testing","volume":"SE-8","author":"Bazzichi","year":"1982","journal-title":"IEEE Trans. Software Engrg."},{"issue":"3","key":"10.1016\/0743-1066(90)90053-8_BIB3","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1147\/sj.223.0229","article-title":"Automatic Generation of Random Self-Checking Test Cases","volume":"22","author":"Bird","year":"1983","journal-title":"IBM Systems J."},{"issue":"1","key":"10.1016\/0743-1066(90)90053-8_BIB4","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF02235512","article-title":"Generating Test Programs from Syntax","volume":"2","author":"Burkhardt","year":"1967","journal-title":"Computing"},{"key":"10.1016\/0743-1066(90)90053-8_BIB5","series-title":"Programming in Prolog","author":"Clocksin","year":"1984"},{"key":"10.1016\/0743-1066(90)90053-8_BIB6","series-title":"Metamorphosis Grammars","article-title":"Natural Language Communication with Computers","volume":"Vol. 63","author":"Colmerauer","year":"1978"},{"key":"10.1016\/0743-1066(90)90053-8_BIB7","series-title":"Logic Programming","first-page":"141","article-title":"Runnable Specification as a Design Tool","author":"Davis","year":"1982"},{"issue":"4","key":"10.1016\/0743-1066(90)90053-8_BIB8","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","article-title":"Hints on Test Data Selection: Help for the Practicing Programmer","volume":"11","author":"DeMillo","year":"1978","journal-title":"IEEE Computer"},{"issue":"2","key":"10.1016\/0743-1066(90)90053-8_BIB9","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0743-1066(85)90015-9","article-title":"Relating Logic Programs and Attribute Grammars","volume":"2","author":"Deransart","year":"1985","journal-title":"J. Logic Programming"},{"key":"10.1016\/0743-1066(90)90053-8_BIB10","first-page":"270","article-title":"Test Grammars: A Method for Generating Program Test Data","author":"Duncan","year":"1978","journal-title":"IEEE Computer Soc."},{"issue":"4","key":"10.1016\/0743-1066(90)90053-8_BIB11","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/TSE.1984.5010257","article-title":"An Evaluation of Random Testing","volume":"SE-10","author":"Duran","year":"1984","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0743-1066(90)90053-8_BIB12","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1002\/spe.4380101104","article-title":"Compiler Testing Using a Sentence Generator","volume":"10","author":"Celentano","year":"1980","journal-title":"Software Practice and Experience"},{"issue":"3","key":"10.1016\/0743-1066(90)90053-8_BIB13","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/5666.5671","article-title":"Andrew: A Distributed Personal Computing Environment","volume":"29","author":"Morris","year":"1966","journal-title":"Comm. ACM"},{"key":"10.1016\/0743-1066(90)90053-8_BIB14","series-title":"DDN Protocol Handbook","first-page":"1025","volume":"Vol. 2","year":"1985"},{"key":"10.1016\/0743-1066(90)90053-8_BIB15","volume":"Vols. 1\u20133","year":"1985"},{"issue":"2","key":"10.1016\/0743-1066(90)90053-8_BIB16","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","article-title":"Towards a Theory of Test Data Selection","volume":"SE-1","author":"Goodenough","year":"1975","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0743-1066(90)90053-8_BIB17","first-page":"131","article-title":"Use of Prolog for Building Protocol Design Tools","volume":"Vol. V","author":"Bochmann","year":"1986"},{"issue":"4","key":"10.1016\/0743-1066(90)90053-8_BIB18","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1147\/sj.94.0242","article-title":"Automatic Generation of Test Cases","volume":"9","author":"Hanford","year":"1970","journal-title":"IBM Systems J."},{"key":"10.1016\/0743-1066(90)90053-8_BIB19","series-title":"Software Validation","year":"1984"},{"key":"10.1016\/0743-1066(90)90053-8_BIB20","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TSE.1976.233816","article-title":"Reliability of the Path Analysis Testing Strategy","volume":"SE-2","author":"Howden","year":"1976","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0743-1066(90)90053-8_BIB21","article-title":"Constraint Logic Programming","author":"Jaffar","year":"1987","journal-title":"Proceedings 14th ACM Principles of Programming Languages Conference"},{"key":"10.1016\/0743-1066(90)90053-8_BIB22","series-title":"Technical Report","article-title":"Constraint Logic Programming","author":"Jaffar","year":"1986"},{"key":"10.1016\/0743-1066(90)90053-8_BIB23","series-title":"Proceedings Fourth International Conference on Logic Programming","article-title":"Methodology and Implementation of a CLP System","author":"Joffar","year":"1987"},{"issue":"2","key":"10.1016\/0743-1066(90)90053-8_BIB24","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01692511","article-title":"Semantics of Context-Free Languages","volume":"2","author":"Knuth","year":"1971","journal-title":"Math. Systems Theory"},{"key":"10.1016\/0743-1066(90)90053-8_BIB25","first-page":"514","article-title":"Equality for Prolog","author":"Kornfeld","year":"1983","journal-title":"IJCAI"},{"key":"10.1016\/0743-1066(90)90053-8_BIB26","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1984"},{"issue":"2","key":"10.1016\/0743-1066(90)90053-8_BIB27","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1109\/TSE.1987.233151","article-title":"The Interrogator: Protocol Security Analysis","volume":"SE-13","author":"Millen","year":"1987","journal-title":"IEEE Trans. Software Engrg."},{"issue":"3","key":"10.1016\/0743-1066(90)90053-8_BIB28","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1147\/sj.223.0262","article-title":"Software Reliability Analysis","volume":"22","author":"Misra","year":"1983","journal-title":"IBM Systems J."},{"key":"10.1016\/0743-1066(90)90053-8_BIB29","series-title":"Lecture Notes in Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-16492-8_111","article-title":"Negation and Control in Prolog","author":"Naish","year":"1986"},{"key":"10.1016\/0743-1066(90)90053-8_BIB30","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","article-title":"Definite Clause Grammars for Language Analysis\u2014a Survey of the Formalism and a Comparison with Augmented Transitions Network","volume":"13","author":"Pereira","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0743-1066(90)90053-8_BIB31","series-title":"Logic Control with Logic","article-title":"Implementations of Prolog","author":"Pereira","year":"1984"},{"key":"10.1016\/0743-1066(90)90053-8_BIB32","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/BF01932308","article-title":"A Sentence Generator for Testing Parsers","volume":"12","author":"Purdom","year":"1972","journal-title":"BIT"},{"issue":"12","key":"10.1016\/0743-1066(90)90053-8_BIB33","doi-asserted-by":"crossref","first-page":"1147","DOI":"10.1109\/TSE.1985.231892","article-title":"Partition Analysis: A Method Combining Testing and Verification","volume":"SE-11","author":"Richardson","year":"1985","journal-title":"IEEE Trans. Software Engrg."},{"issue":"2","key":"10.1016\/0743-1066(90)90053-8_BIB34","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/TSE.1983.236597","article-title":"An Engineering Approach to Software Test Data Design","volume":"SE-9","author":"Redwine","year":"1983","journal-title":"IEEE Trans. Software Engrg."},{"issue":"2","key":"10.1016\/0743-1066(90)90053-8_BIB35","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/22949.24053","article-title":"The X Window System","volume":"5","author":"Scheifler","year":"1986","journal-title":"ACM Trans. Graphics"},{"key":"10.1016\/0743-1066(90)90053-8_BIB36","first-page":"307","article-title":"Directed Relations and Inversion of Prolog Programs","author":"Shoham","year":"1984","journal-title":"Proceedings of the International Conference on Fifth Generation Computer Systems"},{"key":"10.1016\/0743-1066(90)90053-8_BIB37","series-title":"The Art of Prolog: Advanced Programming Techniques","author":"Sterling","year":"1986"},{"key":"10.1016\/0743-1066(90)90053-8_BIB38","series-title":"Technical Note","article-title":"An Abstract Prolog Instruction Set","author":"Warren","year":"1983"},{"key":"10.1016\/0743-1066(90)90053-8_BIB39","series-title":"Technical Note 290","article-title":"Implementing Prolog: Compiling Predicate Logic Programs","author":"Warren","year":"1983"},{"issue":"3","key":"10.1016\/0743-1066(90)90053-8_BIB40","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/TSE.1980.234485","article-title":"Theories of Program Testing and the Application of Revealing Subdomains","volume":"SE-6","author":"Weyuker","year":"1980","journal-title":"IEEE Trans. Software Engrg."},{"issue":"4799","key":"10.1016\/0743-1066(90)90053-8_BIB41","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1126\/science.3563505","article-title":"Risk Assessment and Comparisons: An Introduction","volume":"236","author":"Wilson","year":"1987","journal-title":"Science"}],"container-title":["The Journal of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106690900538?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743106690900538?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T03:55:36Z","timestamp":1555127736000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0743106690900538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":41,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["0743106690900538"],"URL":"https:\/\/doi.org\/10.1016\/0743-1066(90)90053-8","relation":{},"ISSN":["0743-1066"],"issn-type":[{"value":"0743-1066","type":"print"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}