{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:57:48Z","timestamp":1725397068610},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090913","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:39Z","timestamp":1361279799000},"page":"1568-1571","source":"Crossref","is-referenced-by-count":0,"title":["A MILP-based approach to path sensitization of embedded software"],"prefix":"10.1109","author":[{"given":"J.C.","family":"Costa","sequence":"first","affiliation":[]},{"given":"J.C.","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1990.131379"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271790"},{"journal-title":"Numerical Recipes in C The Art of Scientific Computing","year":"1993","author":"press","key":"10"},{"key":"1","first-page":"528","article-title":"functional vector generation for hdl models using linear programming and 3-satisfiability","author":"fallah","year":"1998","journal-title":"Proc DAC"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288321"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"4","first-page":"263","article-title":"cute: a concolic unit testing engine for c","author":"sen","year":"2005","journal-title":"Proceedings of 5th European Software Engineering Conference"},{"key":"9","article-title":"mibench: a free, commercially representative embedded benchmark suite","author":"guthaus","year":"2001","journal-title":"Proc 4th IEEE Annu Workshop Workload Characterization"},{"year":"0","key":"8"},{"year":"0","key":"11"},{"key":"12","first-page":"359","article-title":"application of the simplex method to a transportation problem","author":"dantzig","year":"1951","journal-title":"Activity Analysis of Production and Allocation"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","start":{"date-parts":[[2009,4,20]]},"location":"Nice","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090913.pdf?arnumber=5090913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T13:44:53Z","timestamp":1489758293000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5090913\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/date.2009.5090913","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}