Theoretical Computer Science
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Fault Diagnosis for Timed Automata
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Analysis of the zeroconf protocol using UPPAAL
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Analysis and verification of an automatic document feeder
Proceedings of the 2007 ACM symposium on Applied computing
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Model-Based Run-Time Error Detection
Models in Software Engineering
On Conformance Testing for Timed Systems
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
FPGA based tester tool for hybrid real-time systems
Microprocessors & Microsystems
Inclusion dynamics hybrid automata
Information and Computation
Conformance testing for real-time systems
Formal Methods in System Design
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Model-based testing of a WAP gateway: an industrial case-study
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Testing real-time systems using UPPAAL
Formal methods and testing
Developing UPPAAL over 15 years
Software—Practice & Experience
Formal specification and analysis of zeroconf using uppaalS
ACM Transactions on Embedded Computing Systems (TECS)
Safety-assured development of the GPCA infusion pump software
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Monitoring dynamical signals while testing timed aspects of a system
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Verification, performance analysis and controller synthesis for real-time systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Generating tests from EFSM models using guided model checking and iterated search refinement
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Testing real-time systems under uncertainty
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Modeling and verification of real-time embedded systems
ISIICT'09 Proceedings of the Third international conference on Innovation and Information and Communication Technology
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
International Journal of Embedded and Real-Time Communication Systems
Testing Real-Time Embedded Systems using Timed Automata based approaches
Journal of Systems and Software
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Runtime verification of microcontroller binary code
Science of Computer Programming
A practical approach for testing timed deterministic finite state machines with single clock
Science of Computer Programming
An approach to testing commercial embedded systems
Journal of Systems and Software
Runtime verification of state machines and defect localization applying model-based testing
Proceedings of the WICSA 2014 Companion Volume
| Hi-index | 0.00 |
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences in applying our tool and technique on an industrial case study. We conclude that the tool and technique is applicable to practical systems, and that it has promising error detection potential and execution performance.