{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T01:27:56Z","timestamp":1649035676389},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Software Eng"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1007\/bf02063811","type":"journal-article","created":{"date-parts":[[2005,8,12]],"date-time":"2005-08-12T16:26:57Z","timestamp":1123864017000},"page":"213-236","source":"Crossref","is-referenced-by-count":1,"title":["An environment to support micro-incremental class development"],"prefix":"10.1007","volume":"2","author":[{"given":"Allen","family":"Parrish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Cordes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dennis","family":"Brown","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02063811_CR1","doi-asserted-by":"crossref","unstructured":"Doong, R. and P. Frankl (1991), \u201cCase Studies on Testing Object-Oriented Programs,\u201d InProceedings of the Fourth Symposium on Software Testing, Analysis and Verification, pp. 165\u2013177.","DOI":"10.1145\/120807.120822"},{"key":"BF02063811_CR2","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/357139.357140","volume":"3","author":"J. Gannon","year":"1981","unstructured":"Gannon, J., P. McMullin and R. Hamlet (1981), \u201cData Abstraction, Implementation, Specification and Testing,\u201dACM Transactions on Programming Languages and Systems 3, 211\u2013223.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"5","key":"BF02063811_CR3","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MS.1985.231756","volume":"4","author":"J. Guttag","year":"1985","unstructured":"Guttag, J., J. Horning and J. Wing (1985), \u201cThe Larch Family of Specification Languages,\u201dIEEE Software 4, 5, 24\u201336.","journal-title":"IEEE Software"},{"key":"BF02063811_CR4","doi-asserted-by":"crossref","unstructured":"Harrold, M., J. McGregor and K. Fitzpatrick (1992), \u201cIncremental Testing of Object-Oriented Class Structures,\u201d InProceedings of the International Conference on Software Engineering.","DOI":"10.1145\/143062.143093"},{"key":"BF02063811_CR5","doi-asserted-by":"crossref","unstructured":"Hoffman, D. and C. Brealey (1989), \u201cModule Test Case Generation,\u201dProceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis and Verification, pp. 97\u2013102.","DOI":"10.1145\/75308.75320"},{"key":"BF02063811_CR6","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1109\/32.24701","volume":"15","author":"P. Jalote","year":"1989","unstructured":"Jalote, P. (1989), \u201cTesting the Completeness of Specifications,\u201dIEEE Transactions on Software Engineering 15, 526\u2013531.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF02063811_CR7","volume-title":"Abstraction and Specification in Program Development","author":"B. Liskov","year":"1986","unstructured":"Liskov, B. and J. Guttag (1986),Abstraction and Specification in Program Development, McGraw-Hill, New York."},{"key":"BF02063811_CR8","unstructured":"McGregor, J. and D. Sykes (1992),Object-Oriented Software Development: Engineering Software for Reuse, Van Nostrand Reinhold, 1992."},{"key":"BF02063811_CR9","unstructured":"Parrish, A., D. Cordes and H. Dyal (1995), \u201cIncremental Testing of Algebraically Specified Object-Oriented Software Modules,\u201d Department of Computer Science Technical Report, The University of Alabama."},{"key":"BF02063811_CR10","unstructured":"Parrish, A., D. Cordes and M. Govindarajan (1994), \u201cSystematic Defect Removal from Object-Oriented Software Modules,\u201d InProceedings of the Seventh International Software Quality Week Conference, San Francisco."},{"issue":"4","key":"BF02063811_CR11","first-page":"39","volume":"1","author":"S. Zweben","year":"1992","unstructured":"Zweben, S., W. Heym and J. Kimmich (1992), \u201cSystematic Testing of Data Abstractions Based on Software Specifications,\u201dJournal of Software Testing, Verification and Reliability 1, 4, 39\u201355.","journal-title":"Journal of Software Testing, Verification and Reliability"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02063811.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02063811\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02063811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T23:14:58Z","timestamp":1586387698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02063811"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":11,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["BF02063811"],"URL":"https:\/\/doi.org\/10.1007\/bf02063811","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"value":"1022-7091","type":"print"},{"value":"1573-7489","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}