{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:26:10Z","timestamp":1761596770918},"reference-count":26,"publisher":"Association for Computing Machinery (ACM)","issue":"5","license":[{"start":{"date-parts":[[2000,12,1]],"date-time":"2000-12-01T00:00:00Z","timestamp":975628800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2000,12]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>A method is introduced for testing the conformance of implemented real-time systems to timed automata specifications. Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view. Fault hypotheses and a test generation algorithm for TTTSs are defined. Results of applying the method are presented.<\/jats:p>","DOI":"10.1007\/s001650070009","type":"journal-article","created":{"date-parts":[[2002,10,6]],"date-time":"2002-10-06T15:14:53Z","timestamp":1033917293000},"page":"350-371","source":"Crossref","is-referenced-by-count":51,"title":["Conformance Tests for Real-Time Systems with Timed Automata Specifications"],"prefix":"10.1145","volume":"12","author":[{"given":"Rachel","family":"Cardell-Oliver","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Essex, UK, , , , , , GB"}]}],"member":"320","reference":[{"key":"p_1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A Theory of Timed Automata","volume":"126","author":"Al","year":"1994","journal-title":"Theoretical Computer Science"},{"key":"p_2","first-page":"1","volume-title":"6th International Conference on Computer Aided Verification, LNCS 818","author":"Alur R.","year":"1994"},{"key":"p_3","first-page":"330","volume-title":"LNCS 1384","author":"Alur R.","year":"1998"},{"key":"p_4","first-page":"143","volume-title":"USA","author":"Braberman V.","year":"1997"},{"key":"p_5","first-page":"251","volume-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1486","author":"Ca","year":"1998"},{"issue":"3","key":"p_6","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","article-title":"Testing Software Design Modeled by Finite-State Machines","volume":"4","author":"Cho","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"key":"p_7","volume-title":"17th International Conference on Software Engineering","author":"Cl","year":"1995"},{"key":"p_8","first-page":"220","volume-title":"19th IEEE Real-Time Systems Symposium (RTSS'98)","author":"En-Nouaary A.","year":"1998"},{"key":"p_10","series-title":"Lecture Notes in Computer Science 632","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/3-540-55719-9_103","volume-title":"What Good are Digital Clocks? In Proc. 19th International Colloquium on Automata, Languages, and Programming","author":"Henzinger T.","year":"1992"},{"key":"p_11","doi-asserted-by":"crossref","unstructured":"[HNT99] Higashino T. Natata A. Taniguchi K. and Cavalli A. R.: Generating Test Cases for a Timed I\/O Automaton Model In IFIP TC6 International Workshop on Testing of Communicating Systems (1999)","DOI":"10.1007\/978-0-387-35567-2_13"},{"key":"p_12","volume-title":": Design and Validation of Computer Protocols","author":"Hol","year":"1991"},{"key":"p_13","volume-title":"Automata Theory","author":"Ho","year":"1979"},{"key":"p_14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44436-X","volume-title":"Scaling Up Uppaal: Automatic Verification of Real-Time Systems using Compositionality and Abstraction. To appear in Formal Techniques for Real-Time and Fault-Tolerant Systems","author":"Jensen H. E.","year":"2000"},{"key":"p_15","doi-asserted-by":"crossref","DOI":"10.1007\/s100090050010","volume-title":"UPPAAL in a Nutshell","author":"Larsen K. G.","year":"1997"},{"key":"p_16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01384313","article-title":"Property Preserving Abstractions for the Verification of Concurrent Systems","volume":"6","author":"Loiseaux C.","year":"1995","journal-title":"Formal Methods in System Design"},{"issue":"2","key":"p_17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/32.265636","article-title":"Test Selection Based on Communicating Nondeterministic Finite-State Machines Using and Generalised WP-Method","volume":"20","author":"Luo G.","year":"1994","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"4","key":"p_18","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/210223.210226","article-title":"Generating Test Cases for Real-Time Systems from Logic Specifications","volume":"13","author":"Mandrioli D.","year":"1995","journal-title":"ACM Trans. on Computer Systems"},{"key":"p_19","first-page":"53","article-title":"Test Automation of Safety-Critical Reactive Systems","volume":"19","author":"Pe","year":"1997","journal-title":"South African Computer Journal"},{"key":"p_20","volume-title":": Software Engineering: Theory and Practice","author":"Pfl","year":"1998"},{"key":"p_21","series-title":"Lecture Notes in Computer Science 1217","first-page":"165","volume-title":"E. Brinksma (ed.) Tools and Algorithms for the Construction and Analysis of Systems","author":"Ra","year":"1997"},{"key":"p_22","first-page":"317","volume-title":"Lisbon","author":"Schlingoff H.","year":"1999"},{"key":"p_23","unstructured":"[SVD99] Springintveld J. Vaandrager F. and D\u2019Argenio P.: Testing Timed Automata To appear in Theoretical Computer Science source: http:\/\/www.cs.kun.nl\/~fvaan\/publications"},{"key":"p_24","first-page":"83","volume-title":"Proceedings of the IFIP TC6 11th International Workshop on Testing of Communicating Systems, Kluwer Academic Publishers","author":"Ta","year":"1998"},{"key":"p_25","series-title":"Lecture Notes in Computer Science 1055","first-page":"127","volume-title":"T. Margaria and B. Steffen (eds.) Tools and Algorithms for the Construction and Analysis of Systems","author":"Tre","year":"1996"},{"key":"p_26","unstructured":"[Upp99] Uppaal: Validation and Verification Tools for Real-Time Systems http:\/\/www.docs.uu.se\/docs\/rtmv\/uppaal 13 October (1999)"},{"key":"p_27","series-title":"Lecture Notes in Computer Science 1494","first-page":"114","volume-title":"Lectures on Embedded Systems","author":"Yov","year":"1996"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s001650070009.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s001650070009\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s001650070009","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:38:22Z","timestamp":1641483502000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s001650070009"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,12]]},"references-count":26,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2000,12]]}},"alternative-id":["10.1007\/s001650070009"],"URL":"https:\/\/doi.org\/10.1007\/s001650070009","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,12]]}}}