Timed Model-Based Conformance Testing A Case Study Using Tron

[1]  Marius Mikucionis,et al.  T-UPPAAL: online model-based testing of real-time systems , 2004 .

[2]  Derek Atkins,et al.  Threat Analysis of the Domain Name System (DNS) , 2004, RFC.

[3]  Kim G. Larsen,et al.  Testing Real-Time Systems Using UPPAAL , 2008, Formal Methods and Testing.

[4]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[5]  Stavros Tripakis,et al.  Conformance testing for real-time systems , 2009, Formal Methods Syst. Des..

[6]  Jon Postel,et al.  Domain requirements , 1984, Request for Comments.

[7]  J. Tretmans.  Tangram: Model-Based Integration and Testing of Complex High-Tech Systems , 2007 .

[8]  Marius Mikucionis,et al.  Online On-the-Fly Testing of Real-time Systems , 2003 .

[9]  Scott Rose,et al.  DNS Security Introduction and Requirements , 2005, RFC.

[10]  Stavros Tripakis,et al.  Conformance testing for real-time systems , 2004, SPIN.

[11]  K. Larsen,et al.  Online Testing of Real-time Systems Using Uppaal , 2004, FATES.

[12]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[13]  Henrik Bohnenkamp,et al.  Timed model-based testing , 2007 .

[14]  Kim G. Larsen,et al.  A Tutorial on Uppaal , 2004, SFM.

[15]  Julien Schmaltz,et al.  On Conformance Testing for Timed Systems , 2008, FORMATS.

[16]  Kim G. Larsen,et al.  Testing real-time embedded software using UPPAAL-TRON: an industrial case study , 2005, EMSOFT.

[17]  M. StJohns.  Automated Updates of DNS Security (DNSSEC) Trust Anchors , 2007 .