{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:10Z","timestamp":1747627330757,"version":"3.40.5"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,2,1]],"date-time":"1999-02-01T00:00:00Z","timestamp":917827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1999,2]]},"DOI":"10.1023\/a:1018915027830","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"203-221","source":"Crossref","is-referenced-by-count":1,"title":["Automated class testing using threaded multi-way trees to represent the behaviour of state machines"],"prefix":"10.1007","volume":"8","author":[{"given":"Bor-Yuan","family":"Tsai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Stobart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman","family":"Parrington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"326222_CR1","unstructured":"Binder, R.V. (1995), \u201cState-Based Testing: Sneak Paths and Conditional Transitions,\u201d Object Magazine, October, 87\u201389."},{"issue":"11","key":"326222_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1109\/2.544244","volume":"29","author":"R.V. Binder","year":"1996","unstructured":"Binder, R.V. (1996), \u201cModal Testing Strategies for OO Software,\u201d IEEE Computer 29,11, 97\u201399.","journal-title":"IEEE Computer"},{"key":"326222_CR3","volume-title":"Designing Object Systems: Object Oriented Modelling With Syntropy","author":"S. Cook","year":"1994","unstructured":"Cook, S. and J. Daniels (1994), Designing Object Systems: Object Oriented Modelling With Syntropy, Prentice-Hall, Reading\/London."},{"issue":"2","key":"326222_CR4","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0164-1212(90)90053-O","volume":"11","author":"R.L. Glass","year":"1990","unstructured":"Glass, R.L. (1990), \u201cSoftware Maintenance is Solution-Not a Problem,\u201d Journal of Systems and Software 11,2, 77\u201378.","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"326222_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D. (1987), \u201cStatecharts: A Visual Formalism for Complex Systems,\u201d Science of Computer Programming 8,3, 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"326222_CR6","volume-title":"Object-Oriented Software Engineering \u2014 A Use Case Driven Approach","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I., M. Christerson, P. Jonsson and G. \u00d6vergaard (1992), Object-Oriented Software Engineering \u2014 A Use Case Driven Approach, Revised 4th Edition, Addison-Wesley, Reading, MA."},{"key":"326222_CR7","series-title":"Technical Report","volume-title":"A Note on Inheritance and State Machines","author":"J.D. McGregor","year":"1993","unstructured":"McGregor, J.D. and D.M. Dyer (1993), \u201cA Note on Inheritance and State Machines,\u201d Technical Report TR 93\u2013114, 5th May, Department of Computer Science, Clemson University, SC."},{"key":"326222_CR8","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"1979","unstructured":"Myers, G.J. (1979), The Art of Software Testing, Wiley, Reading\/New York."},{"key":"326222_CR9","volume-title":"Software Testing Tools","author":"S. Norman","year":"1993","unstructured":"Norman, S. (1993), Software Testing Tools, Ovum Ltd., Reading\/London."},{"key":"326222_CR10","first-page":"96","volume-title":"Proceedings of the 24th Technology of Object-Oriented Languages and Systems, TOOLS 24","author":"B.-Y. Tsai","year":"1997","unstructured":"Tsai, B.-Y., S. Stobart and N. Parrington (1997a), \u201cUsing Extended General Statecharts in Object-Oriented Program Testing: A Case Study,\u201d In Proceedings of the 24th Technology of Object-Oriented Languages and Systems, TOOLS 24, IEEE Computer Society Press, Los Alamitos, CA, pp. 96\u2013103."},{"issue":"4","key":"326222_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1023\/A:1018528506161","volume":"6","author":"B.-Y Tsai","year":"1997","unstructured":"Tsai, B.-Y, S. Stobart and N. Parrington (1997b), \u201cIterative Design and Testing Within the Software Development Life Cycle,\u201d Software Quality Journal 6,4, 295\u2013310.","journal-title":"Software Quality Journal"},{"key":"326222_CR12","unstructured":"Tsai, B.-Y, S. Stobart and N. Parrington (1997c), \u201cA Method for Automatic Class Testing (MACT) Object-Oriented Programs \u2014 Using A State-Based Testing Method,\u201d In Proceedings of 5th European Conference Software Testing Analysis & Review, EuroSTAR 97, EuroSTAR Administration, pp. 403\u2013415."},{"key":"326222_CR13","series-title":"Occasional Paper","volume-title":"An Automatic Test Case Generator Derived from State-Based Testing","author":"B.-Y Tsai","year":"1998","unstructured":"Tsai, B.-Y, S. Stobart and N. Parrington (1998a), \u201cAn Automatic Test Case Generator Derived from State-Based Testing,\u201d Occasional Paper: CIS\u20131\u201398, School of Computing and Information Systems, University of Sunderland, UK."},{"key":"326222_CR14","first-page":"270","volume-title":"Proceedings of 5th Asia Pacific Software Engineering Conference, ASPEC 98","author":"B.-Y Tsai","year":"1998","unstructured":"Tsai, B.-Y, S. Stobart, N. Parrington and I. Mitchell (1998b) \u201cAn Automatic Test Case Generator Derived from State-Based Testing,\u201d In Proceedings of 5th Asia Pacific Software Engineering Conference, ASPEC 98, IEEE Computer Society Press, Los Alamitos, CA, pp. 270\u2013277."},{"issue":"3","key":"326222_CR15","first-page":"106","volume":"16","author":"C.D. Turner","year":"1995","unstructured":"Turner, C.D. and D.J. Robson (1995), \u201cA State-Based Approach to the Testing of Class-Based Programs,\u201d Software Concepts & Tools 16,3, 106\u2013112.","journal-title":"Software Concepts & Tools"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018915027830.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018915027830\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018915027830.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:19:52Z","timestamp":1747577992000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018915027830"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,2]]},"references-count":15,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1999,2]]}},"alternative-id":["326222"],"URL":"https:\/\/doi.org\/10.1023\/a:1018915027830","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1999,2]]}}}