{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:27:41Z","timestamp":1725740861217},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1109\/cisti.2014.6876896","type":"proceedings-article","created":{"date-parts":[[2014,8,20]],"date-time":"2014-08-20T19:10:07Z","timestamp":1408561807000},"page":"1-7","source":"Crossref","is-referenced-by-count":5,"title":["PARADIGM-COV: A multimensional test coverage analysis tool"],"prefix":"10.1109","author":[{"given":"Liliana","family":"Vilela","sequence":"first","affiliation":[]},{"given":"Ana C. R.","family":"Paiva","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"A GUI modeling DSL for pattern-based GUI testing - PARADIGM","author":"moreira","year":"2014","journal-title":"Proceedings of International Conference on Evaluation of Novel Approaches to Software Engineering"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30729-4_21"},{"journal-title":"Safety-related Software Development Using A Model-based Testing Workflow","year":"0","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-73066-8_1","article-title":"Implementing conformiq qtronic","author":"huima","year":"2007","journal-title":"Testing of Software and Communicating Systems"},{"key":"16","first-page":"192","article-title":"Test generation from bounded algebraic specifications using alloy","author":"andrade","year":"2011","journal-title":"ICSOFT"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_2"},{"journal-title":"A Systematic Review of Model Based Testing Tool Support","year":"2010","author":"shafique","key":"14"},{"journal-title":"Test Models and Coverage Criteria for Automatic Modelbased Test Generation with UML State Machines","year":"2010","author":"wei\ufffdleder","key":"11"},{"journal-title":"Coverage Simulator","year":"0","author":"wei\ufffdleder","key":"12"},{"journal-title":"The Survey of Model Based Testing And Industrial Tools","year":"2008","author":"eslamimehr","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1002\/0471028959.sof207"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313008"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.28"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.004"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTE.2010.5608882"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2013.6698881"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.24"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553681"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.427"}],"event":{"name":"2014 9th Iberian Conference on Information Systems and Technologies (CISTI)","start":{"date-parts":[[2014,6,18]]},"location":"Barcelona, Spain","end":{"date-parts":[[2014,6,21]]}},"container-title":["2014 9th Iberian Conference on Information Systems and Technologies (CISTI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6867219\/6876860\/06876896.pdf?arnumber=6876896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:45:20Z","timestamp":1602686720000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6876896"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cisti.2014.6876896","relation":{},"subject":[],"published":{"date-parts":[[2014,6]]}}}