{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:56Z","timestamp":1772532956845,"version":"3.50.1"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/ceec.2017.8101621","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T16:49:27Z","timestamp":1510246167000},"page":"178-182","source":"Crossref","is-referenced-by-count":2,"title":["Automated test case generation from high-level logic requirements using model transformation techniques"],"prefix":"10.1109","author":[{"given":"Oyindamola","family":"Olajubu","sequence":"first","affiliation":[]},{"given":"Suraj","family":"Ajit","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Johnson","sequence":"additional","affiliation":[]},{"given":"Scott","family":"Thomson","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Edwards","sequence":"additional","affiliation":[]},{"given":"Scott","family":"Turner","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"A practical tutorial on modified condition\/decision coverage","author":"hayhurst","year":"2001","journal-title":"National Aeronautics and Space Administration"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2000.886883"},{"key":"ref10","first-page":"115","article-title":"Utilizing domain-specific modelling for software testing","author":"puolitaival","year":"2011","journal-title":"The Third International Conference on Advances in System Testing and Validation Lifecycle"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICECTECH.2011.5941819"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.80.5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2001.963305"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2003.1270730"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2807562"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1994.0025"},{"key":"ref9","first-page":"1","volume":"8","author":"rose","year":"2008","journal-title":"The epsilon generation language ECMDA-FA"},{"key":"ref1","author":"bettini","year":"2016","journal-title":"Implementing Domain-Specific Languages with Xtext and Xtend"}],"event":{"name":"2017 9th Computer Science and Electronic Engineering (CEEC)","location":"Colchester","start":{"date-parts":[[2017,9,27]]},"end":{"date-parts":[[2017,9,29]]}},"container-title":["2017 9th Computer Science and Electronic Engineering (CEEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8093670\/8101585\/08101621.pdf?arnumber=8101621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,18]],"date-time":"2017-12-18T17:09:16Z","timestamp":1513616956000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8101621\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/ceec.2017.8101621","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}