{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:32Z","timestamp":1772532932813,"version":"3.50.1"},"reference-count":24,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1998,8,1]],"date-time":"1998-08-01T00:00:00Z","timestamp":901929600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1998,8]]},"DOI":"10.1016\/s0164-1212(98)10005-5","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T21:09:52Z","timestamp":1049490592000},"page":"141-151","source":"Crossref","is-referenced-by-count":15,"title":["Testing object-oriented programs: from formal specification to test scenario generation"],"prefix":"10.1016","volume":"42","author":[{"given":"Kai","family":"H. Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shih-Sung","family":"Liao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephen B","family":"Seidman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Chapman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(98)10005-5_BIB1","doi-asserted-by":"crossref","unstructured":"D. Carrington, P. Stocks, A tale of two paradigms: Formal methods and software testing, in: Workshops in Computing Series: Z User Workshop, Springer, Berlin, 1994, pp. 51\u201368","DOI":"10.1007\/978-1-4471-3452-7_4"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB2","unstructured":"K.H. Chang, J.H. Cross, W.H. Carlisle, S. Liao, An empirical study of intelligent test case generation methods for software branch coverage, in: Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering, San Francisco, CA, 1993, pp. 437\u2013444"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB3","doi-asserted-by":"crossref","unstructured":"K.H. Chang, J.H. Cross, W.H. Carlisle, S. Liao, A performance evaluation of heuristics-based test case generation methods for software branch coverage, J. Software Eng. and Knowledge Eng. 6 (3) (1996)","DOI":"10.1142\/2869"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB4","unstructured":"C. Chen, Derivation of State Transition Diagrams from Object-Z Specifications, Master's thesis, Department of Computer SCience and Engineering, Auburn University, 1996"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB5","doi-asserted-by":"crossref","unstructured":"R.H. Cobb, H.D. Mills, Engineering software under statistical quality control, IEEE Software (1990) 44\u201354","DOI":"10.1109\/52.60601"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB6","unstructured":"R. Doong, P.G. Frankl, The Astoot Approach to Testing Object-Oriented Programs, Technical Report pucs-104-93, Department of Computer Science, Polytechnic University, 1993"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB7","unstructured":"R. Duke, P. King, G. Rose, G. Smith, The Object-Z Specification Language, Version 1 Technical Report 91-1, Software Verification Research Centre, Department of Computer Science, University of Queensland, 1991"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB8","unstructured":"M. Dyer, The Cleanroom Approach to Quality Software Development, Wiley, New York, 1992"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB9","doi-asserted-by":"crossref","unstructured":"M.J. Harrold, J.D. McGregor, K.J. Fitzpatrick, Incremental testing of object-oriented class structures, in: Proceedings of the 14th International Conference on Software Engineering, 1992, pp. 68\u201380","DOI":"10.1145\/143062.143093"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB10","doi-asserted-by":"crossref","unstructured":"D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, C. Chen, On object state testing, in: Proceedings of the 18th Annual International Computer Software and Application Conference, Taipei, Taiwan, 1994, pp. 222\u2013227","DOI":"10.1109\/CMPSAC.1994.342801"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB11","unstructured":"S. Liao, An Integrated Testing Approach for Object-Oriented Programs, Ph.D. Dissertation, Department of Computer Science and Engineering, Auburn University, 1997"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB12","unstructured":"S. Liao, K.H. Chang, C. Chen, Testing object-oriented programs using state based usage models, in: Proceedings of the 34th ACM Southeast Conference, Tuskegee, Alabama, 1996"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB13","unstructured":"S. Liao, K.H. Chang, S. Seidman, An integrated testing framework for object-oriented programs work in progress, in: Proceedings of the Seventh International Conference on Software Engineering and Knowledge Engineering, Rockville, Maryland, 1995, pp. 123\u2013125"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB14","unstructured":"S. Liao, K.H. Chang, S. Seidman, C. Chen, Testing object-oriented programs based on usage profiles and formal specifications, in: Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering, Lake Tahoe, Nevada, 1996, pp. 9\u201316"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB15","doi-asserted-by":"crossref","unstructured":"R.C. Linger, H.D. Mills, A case study in Cleanroom software engineering: The IBM Cobol restructuring facility, in: Proceedings of COMPSAC'88, 1988","DOI":"10.1109\/CMPSAC.1988.17141"},{"issue":"6","key":"10.1016\/S0164-1212(98)10005-5_BIB16","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","article-title":"A software complexity measure","volume":"2","author":"McCabe","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB17","doi-asserted-by":"crossref","unstructured":"J.D. Musa, Operational profiles in software reliability engineering, IEEE Software (1994) 14\u201332","DOI":"10.1109\/52.199724"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB18","doi-asserted-by":"crossref","unstructured":"D.J. Richardson, S.L. Aha, T.O. O'Malley, Specification-based test oracles for reactive systems, in: Proceedings of the 14th International Conference on Software Engineering, Melbourne, Australia, 1992, pp. 105\u2013118","DOI":"10.1109\/ICSE.1992.753494"},{"issue":"3","key":"10.1016\/S0164-1212(98)10005-5_BIB19","first-page":"45","article-title":"A framework for testing object-oriented programs","volume":"5","author":"Smith","year":"1992","journal-title":"J. Object-Oriented Prog."},{"key":"10.1016\/S0164-1212(98)10005-5_BIB20","unstructured":"J.M. Spivey, The Z Notation: A Reference Manual, 2nd ed., Prentice-Hall, Englewood Cliffs, NJ, 1992"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB21","doi-asserted-by":"crossref","unstructured":"P.A. Stocks, D.A. Carrington, Test templates: A specification-based testing framework, in: Proceedings of the 15th International Conference on Software Engineering, Los Alamitos, CA, 1993, pp. 405\u2013414","DOI":"10.1109\/ICSE.1993.346025"},{"key":"10.1016\/S0164-1212(98)10005-5_BIB22","doi-asserted-by":"crossref","unstructured":"C.D. Turner, D.J. Robson, The state-based testing of object-oriented programs, in: Proceedings of the Conference on Software Maintenance, Montreal, Canada, 1993, pp. 302\u2013310","DOI":"10.1109\/ICSM.1993.366932"},{"issue":"1","key":"10.1016\/S0164-1212(98)10005-5_BIB23","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/151299.151326","article-title":"Markov analysis of software specification","volume":"2","author":"Whittaker","year":"1993","journal-title":"ACM Trans. Soft. Eng. Methodology"},{"issue":"6","key":"10.1016\/S0164-1212(98)10005-5_BIB24","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1109\/32.295896","article-title":"Certification of software components","volume":"20","author":"Wohlin","year":"1994","journal-title":"IEEE Trans. Software. Eng."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100055?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121298100055?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T16:40:19Z","timestamp":1580229619000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121298100055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,8]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,8]]}},"alternative-id":["S0164121298100055"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(98)10005-5","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1998,8]]}}}