Control strategies for off-line testing of timed systems
暂无分享,去创建一个
[1] Joseph Sifakis,et al. Controller Synthesis for Timed Automata 1 , 1998 .
[2] Frits W. Vaandrager,et al. Testing timed automata , 1997, Theor. Comput. Sci..
[3] K. Larsen,et al. Online Testing of Real-time Systems Using Uppaal , 2004, FATES.
[4] Ferhat Khendek,et al. Timed Wp-Method: Testing Real-Time Systems , 2002, IEEE Trans. Software Eng..
[5] Kim G. Larsen,et al. Testing Real-Time Systems under Uncertainty , 2010, FMCO.
[6] Jan Tretmans,et al. Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation , 1996, Comput. Networks ISDN Syst..
[7] Ed Brinksma,et al. A Test Generation Framework for quiescent Real-Time Systems , 2004, FATES.
[8] Kim G. Larsen,et al. Cooperative Testing of Timed Systems , 2008, Electron. Notes Theor. Comput. Sci..
[9] Nathalie Bertrand,et al. Off-line test selection with test purposes for non-deterministic timed automata , 2012, Log. Methods Comput. Sci..
[10] A. Pnueli,et al. CONTROLLER SYNTHESIS FOR TIMED AUTOMATA , 2006 .
[11] Kim G. Larsen,et al. A Game-Theoretic Approach to Real-Time System Testing , 2008, 2008 Design, Automation and Test in Europe.
[12] Olivier Finkel,et al. Undecidable Problems About Timed Automata , 2006, FORMATS.
[13] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[14] Stavros Tripakis,et al. Conformance testing for real-time systems , 2009, Formal Methods Syst. Des..
[15] Nathalie Bertrand,et al. A game approach to determinize timed automata , 2011, Formal Methods Syst. Des..
[16] Brian Nielsen,et al. Automated Test Generation from Timed Automata , 2001, TACAS.
[17] Ousmane Koné,et al. On the fly test generation for real time protocols , 1998, Proceedings 7th International Conference on Computer Communications and Networks (Cat. No.98EX226).
[18] Rachel Cardell-Oliver,et al. A Practical and Complete Algorithm for Testing Real-Time Systems , 1998, FTRTFT.
[19] Mihalis Yannakakis,et al. Testing, Optimizaton, and Games , 2004, ICALP.
[20] Kim G. Larsen,et al. Efficient On-the-Fly Algorithms for the Analysis of Timed Games , 2005, CONCUR.
[21] Mihalis Yannakakis,et al. Testing, optimization, and games , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..