{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:19:53Z","timestamp":1729631993699,"version":"3.28.0"},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107402","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T20:37:48Z","timestamp":1431635868000},"page":"1-10","source":"Crossref","is-referenced-by-count":9,"title":["A test automation language framework for behavioral models"],"prefix":"10.1109","author":[{"given":"Nan","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Offutt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1002\/9780470666654"},{"article-title":"CLOC","year":"2006","author":"danial","key":"ref38"},{"journal-title":"JAVA How to Program","year":"2005","author":"deitel","key":"ref33"},{"article-title":"Graph coverage web applications","year":"2008","author":"ammann","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.108"},{"article-title":"Xeger string generator","year":"2009","author":"team","key":"ref30"},{"journal-title":"Program Development in Java Abstraction Specification and Object-Oriented Design","year":"2000","author":"liskov","key":"ref37"},{"article-title":"Class of triangle","year":"2004","author":"rusma","key":"ref36"},{"article-title":"Class of blackjack","year":"2004","author":"lewis","key":"ref35"},{"year":"2008","key":"ref34","article-title":"Class of tree"},{"key":"ref10","first-page":"194","article-title":"A UML-based approach to system testing","author":"briand","year":"2001","journal-title":"Proceedings of the 4th International Conference on The Unified Modeling Language Modeling Languages Concepts and Tools"},{"journal-title":"Applying Regression and Correlation A Guide for Students and Researchers","year":"2000","author":"miles","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.22"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/978-3-642-16573-3_17","article-title":"From scenarios to test implementations via Promela","author":"ulrich","year":"2010","journal-title":"Proceedings of the 22nd IFIP WG 6 1 International Conference on Testing Software and Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80402-X"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19990602"},{"key":"ref15","first-page":"181","article-title":"The UML 2.0 testing profile","author":"baker","year":"2004","journal-title":"Proceedings of the 8th Conference on Quality Engineering in Software Technology 2004"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2007","author":"utting","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.128"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_2"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1007\/11576280_31","article-title":"A model-to-implementation mapping tool for automated model-based gui testing","volume":"3785","author":"paiva","year":"2005","journal-title":"Formal Methods and Software Engineering"},{"year":"2008","key":"ref28","article-title":"Papyrus"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.108"},{"year":"2008","key":"ref27","article-title":"Eclipse modeling framework"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.28"},{"article-title":"Microsoft SpecExplorer","year":"2002","author":"veanes","key":"ref6"},{"article-title":"Choco constraint solver","year":"2004","author":"team","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.49"},{"key":"ref8","first-page":"472","article-title":"Automated test case generation from dynamic models","author":"fr\u00f6hlich","year":"2000","journal-title":"Proceedings of European Conference of Object-Oriented Programming"},{"article-title":"NModel","year":"2006","author":"jacky","key":"ref7"},{"key":"ref2","first-page":"416","article-title":"Generating tests from UML specifications","author":"offutt","year":"1999","journal-title":"Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99)"},{"key":"ref9","article-title":"A scenario-based approach to validating and testing software systems using statecharts","author":"ryser","year":"1999","journal-title":"Proceedings of the 12th International Conference on Software and Systems Engineering and Their Applications"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.264"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35623-0_7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.456"},{"year":"2011","key":"ref21","article-title":"OMG MOF 2 XMI mapping specification"},{"journal-title":"2008","article-title":"MOF model to text transformation language","year":"0","key":"ref24"},{"journal-title":"Statistical Power Analysis for the Behavioral Sciences","year":"1988","author":"cohen","key":"ref41"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809163"},{"year":"2009","key":"ref26","article-title":"Acceleo - transforming models into code"},{"year":"2003","key":"ref25","article-title":"OMG model driven architecture"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107402.pdf?arnumber=7107402","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,2]],"date-time":"2020-09-02T05:32:10Z","timestamp":1599024730000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107402\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107402","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}