{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,23]],"date-time":"2024-09-23T03:55:11Z","timestamp":1727063711920},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107409","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T16:37:48Z","timestamp":1431621468000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Towards generation of adaptive test cases from partial models of determinized timed automata"],"prefix":"10.1109","author":[{"given":"Bernhard K.","family":"Aichernig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Lorber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-009-0065-1"},{"key":"ref11","first-page":"36","article-title":"Real-time system testing on-the-fly","author":"mikucionis","year":"2003","journal-title":"15th Nordic Workshop on Programming Theory"},{"key":"ref12","first-page":"343","article-title":"Automated test generation from timed automata","author":"nielsen","year":"2001","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software ETAPS 2001"},{"journal-title":"Bounded determinization of timed automata with silent transitions","year":"2015","author":"rosenmann","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78917-8_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_21"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.11.006"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-642-38916-0_2","article-title":"Time for mutants - model-based mutation testing with timed automata","author":"aichernig","year":"2013","journal-title":"Tests and Proofs"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25271-6_19"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2014.05.004"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2012.93"},{"key":"ref9","first-page":"31","article-title":"Cover-a test-case generation tool for timed systems","author":"hessel","year":"2007","journal-title":"Testing of Software and Communicating Systems"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107409.pdf?arnumber=7107409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T07:38:45Z","timestamp":1498203525000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107409\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107409","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}