{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T23:13:51Z","timestamp":1756682031621,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2012,10,17]],"date-time":"2012-10-17T00:00:00Z","timestamp":1350432000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>This article proposes novel off-line test generation techniques from\nnon-deterministic timed automata with inputs and outputs (TAIOs) in the formal\nframework of the tioco conformance theory. In this context, a fi?rst problem is\nthe determinization of TAIOs, which is necessary to foresee next enabled\nactions after an observable trace, but is in general impossible because not all\ntimed automata are determinizable. This problem is solved thanks to an\napproximate determinization using a game approach. The algorithm performs an\nio-abstraction which preserves the tioco conformance relation and thus\nguarantees the soundness of generated test cases. A second problem is the\nselection of test cases from a TAIO speci?fication. The selection here relies\non a precise description of timed behaviors to be tested which is carried out\nby expressive test purposes modeled by a generalization of TAIOs. Finally, an\nalgorithm is described which generates test cases in the form of TAIOs equipped\nwith verdicts, using a symbolic co-reachability analysis guided by the test\npurpose. Properties of test cases are then analyzed with respect to the\nprecision of the approximate determinization: when determinization is exact,\nwhich is the case on known determinizable classes, in addition to soundness,\nproperties characterizing the adequacy of test cases verdicts are also\nguaranteed.<\/jats:p>","DOI":"10.2168\/lmcs-8(4:8)2012","type":"journal-article","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T13:21:33Z","timestamp":1385731293000},"source":"Crossref","is-referenced-by-count":9,"title":["Off-line test selection with test purposes for non-deterministic timed automata"],"prefix":"10.46298","volume":"Volume 8, Issue 4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9957-5394","authenticated-orcid":false,"given":"Nathalie","family":"Bertrand","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9922-6186","authenticated-orcid":false,"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[]},{"given":"Am\u00e9lie","family":"Stainer","sequence":"additional","affiliation":[]},{"given":"Moez","family":"Krichen","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2012,10,17]]},"reference":[{"key":"681:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1037\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1037\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:01:48Z","timestamp":1681243308000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,17]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-8(4:8)2012","relation":{"is-same-as":[{"id-type":"arxiv","id":"1207.6267","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1207.6267","asserted-by":"subject"}],"is-referenced-by":[{"id-type":"doi","id":"10.1007\/978-3-642-19805-2_17","asserted-by":"subject"},{"id-type":"doi","id":"10.1007\/s10703-014-0220-1","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2012,10,17]]},"article-number":"1037"}}