{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:56:19Z","timestamp":1730300179247,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/tase.2017.8285632","type":"proceedings-article","created":{"date-parts":[[2018,2,12]],"date-time":"2018-02-12T17:54:03Z","timestamp":1518458043000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?"],"prefix":"10.1109","author":[{"given":"Jacques","family":"Julliand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Kouchnarenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Alain","family":"Masson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Voiron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1007\/978-3-540-79124-9_10"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1145\/1180405.1180445"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1145\/1081706.1081750"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/1065010.1065036"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1007\/s10009-009-0118-1"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/j.scico.2016.07.003"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1017\/CBO9780511624162"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/3-540-44518-8"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/343369.343384"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/3-540-40911-4_14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/363235.363259"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1093\/logcom\/2.4.511"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/LICS.1988.5119"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/3-540-44685-0_29"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1002\/spe.540"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1145\/566172.566190"},{"year":"1976","author":"dijkstra","journal-title":"A Discipline of Programming","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/TSE.2010.49"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1145\/360933.360975"},{"key":"ref6","first-page":"86","article-title":"Combined algorithm for approximating a finite state abstraction of a large system","author":"veanes","year":"2003","journal-title":"ICSE 2003\/Scenarios Workshop"},{"key":"ref29","first-page":"10","article-title":"Behavioral unfolding of formal specifications based on communicating extended automata","author":"rapin","year":"2003","journal-title":"ATVA"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/3-540-36384-X_18"},{"key":"ref8","article-title":"Approximating event system abstractions by covering their states and transitions","author":"julliand","year":"2017","journal-title":"A P Ershov Informatics Conference (the PSI Conference Series 11th edition)"},{"key":"ref7","first-page":"1","article-title":"A theory of predicate-complete test coverage and generation","volume":"3657","author":"ball","year":"2004","journal-title":"FMCO"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1017\/CBO9781139195881"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/2695664.2695731"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/3-540-63166-6_10"},{"key":"ref20","first-page":"337","article-title":"An efficient SMT solver","volume":"4963","author":"de moura","year":"2008","journal-title":"TACAS"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1145\/1921532.1921559"},{"key":"ref21","first-page":"51","article-title":"Association of under-approximation techniques for generating tests from models","volume":"6706","author":"bu\u00e9","year":"2011","journal-title":"TAP"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/10722167_33"},{"year":"2006","author":"utting","journal-title":"Practical Model-Based Testing","key":"ref23"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1145\/1181775.1181790"},{"key":"ref25","first-page":"1","article-title":"Predicate abstraction with under-approximation refinement","volume":"3","author":"p?s?reanu","year":"2007","journal-title":"LMCS"}],"event":{"name":"2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)","start":{"date-parts":[[2017,9,13]]},"location":"Sophia Antipolis","end":{"date-parts":[[2017,9,15]]}},"container-title":["2017 International Symposium on Theoretical Aspects of Software Engineering (TASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8277122\/8285614\/08285632.pdf?arnumber=8285632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,19]],"date-time":"2018-03-19T17:55:27Z","timestamp":1521482127000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8285632\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/tase.2017.8285632","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}