{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T13:17:52Z","timestamp":1760015872012,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/latw.2010.5550339","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T15:37:50Z","timestamp":1282664270000},"page":"1-6","source":"Crossref","is-referenced-by-count":5,"title":["On Comparing and Complementing two MBT approaches"],"prefix":"10.1109","author":[{"given":"Maximiliano","family":"Cristia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valdivino","family":"Santiago","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. L.","family":"Vijaykumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","first-page":"51","article-title":"QSEE Project: An Experience in Outsourcing Software Development for Space Applications","author":"santiago","year":"2007","journal-title":"SEKE'07"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1497308.1497375"},{"journal-title":"Testing Object-Oriented Systems Models Patterns and Tools","year":"1999","author":"binder","key":"ref10"},{"journal-title":"Validao de especificaes de sistemas reativos Definio e anlise de critrios de teste","year":"2000","author":"souza","key":"ref11"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1016\/0950-5849(94)90021-3","article-title":"A reachability tree for statecharts and analysis of some properties","volume":"36","author":"masiero","year":"1994","journal-title":"Information and Software Technology"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.553698"},{"journal-title":"Applying formal methods to software testing","year":"1993","author":"stocks","key":"ref14"},{"key":"ref15","article-title":"Extending the Test Template Framework","author":"maccoll","year":"1998","journal-title":"Proceedings of the Third Northern Formal Methods Workshop"},{"journal-title":"The Z Notation A Reference Manual Upper Saddle River","year":"1989","author":"spivey","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_9"},{"journal-title":"Community Z Tools","year":"0","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/11415787_5"},{"journal-title":"Model based approach to software testing","year":"2007","author":"m\u00e4kinen","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2006.100"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63875-X_42"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00145-2"},{"key":"ref6","first-page":"170","article-title":"Designing fault injection experiments using state-based model to test a space software","author":"ambrosio","year":"2007","journal-title":"LADC"},{"key":"ref29","first-page":"825","author":"ei-far","year":"2001","journal-title":"Encyclopedia of Software Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.7"},{"key":"ref8","first-page":"486","article-title":"A software reliability assessment based on a structural and behavioral analysis of programs","author":"pimont","year":"1976","journal-title":"ICSE '76"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.16602"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.152"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.64"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2006","author":"utting","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1147\/sj.453.0501"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1083274.1083286"},{"journal-title":"Unified Modeling Language Resource Page","year":"0","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(99)00066-7"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(00)00024-1"}],"event":{"name":"2010 11th Latin American Test Workshop - LATW","start":{"date-parts":[[2010,3,28]]},"location":"Punta del Este, Uruguay","end":{"date-parts":[[2010,3,31]]}},"container-title":["2010 11th Latin American Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5542405\/5550333\/05550339.pdf?arnumber=5550339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T13:03:16Z","timestamp":1497877396000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5550339\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/latw.2010.5550339","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}