{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:19:38Z","timestamp":1742386778699,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/efta.2007.4416757","type":"proceedings-article","created":{"date-parts":[[2008,1,4]],"date-time":"2008-01-04T20:59:03Z","timestamp":1199480343000},"page":"85-92","source":"Crossref","is-referenced-by-count":5,"title":["Sensitization of symbolic runs in real-time testing using the ORIS tool"],"prefix":"10.1109","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[]},{"given":"Luigi","family":"Sassoli","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"ref30","first-page":"127","article-title":"Test Generation with Inputs","volume":"1055","author":"tretmans","year":"1996","journal-title":"Outputs and Quiescence"},{"key":"ref10","article-title":"The Impressive Power of Stop watches","volume":"1877","author":"cassez","year":"2000","journal-title":"LNCS"},{"journal-title":"DO-178B Software Considerations in Airborne Systems and Equipment Certification","year":"0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.87284"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212753"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265815"},{"key":"ref15","article-title":"Time-optimal realtime test case generation using uppaal","author":"hessel","year":"2003","journal-title":"Proc Int'l Workshop Formal Approaches to Software Testing"},{"journal-title":"Tgv theory principles and algorithms a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems","year":"2004","author":"jard","key":"ref16"},{"key":"ref17","first-page":"349","article-title":"Symbolic test selection based on approximate analysis","author":"jeannet","year":"2005"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-24732-6_8","article-title":"Black-box conformance testing for real-time systems","author":"krichen","year":"2004","journal-title":"Proc SPIN Workshop Model Checking of Software"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-31848-4_6","article-title":"Online testing of real-time systems using uppaal: Status and future work","author":"larsen","year":"2005"},{"key":"ref28","article-title":"Analysis of real time systems through the oris tool","author":"sassoli","year":"2006","journal-title":"3rd Int Conf on Quantitative Evaluation of Systems"},{"key":"ref4","first-page":"41","article-title":"An enumerative approach for analyzing time Petri nets","volume":"9","author":"berthomieu","year":"1983","journal-title":"Information Processing proceedings of the IFIP congress 1983"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27793-4_21"},{"key":"ref3","article-title":"Reachability problems and abstract state spaces for time petri nets with stopwatches","author":"berthomieu","year":"2004","journal-title":"LAAS Report 04483"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.122"},{"key":"ref29","article-title":"Times: a tool for schedulability analysis and code generation of real-time systems","author":"amnell","year":"2003","journal-title":"Proc of the 1st Int Workshop on Formal Modeling and Analysis of Timed Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.368137"},{"journal-title":"Railway applications Sw for railway control and protection systems","year":"1997","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2007.86"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049402"},{"journal-title":"Black-Box Testing Techniques for Functional Testing of Software and Systems","year":"1995","author":"beizer","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.6165"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1271170"},{"key":"ref24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-27793-4_4","article-title":"Specification and model checking of temporal properties in time petri nets and timed automata","author":"penczek","year":"2004","journal-title":"Proocedings of the 25th Int Conf on Application and Theory of Petri Nets ICATPN2004"},{"year":"0","key":"ref23","article-title":"D. of Aerospace Eng. of the Polytechnic of Milan. Rtai: Real time application interface for linux"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232226"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"}],"event":{"name":"2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)","start":{"date-parts":[[2007,9,25]]},"location":"Patras, Greece","end":{"date-parts":[[2007,9,28]]}},"container-title":["2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4416742\/4416743\/04416757.pdf?arnumber=4416757","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T14:59:29Z","timestamp":1557154769000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4416757\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/efta.2007.4416757","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}