Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
Automated Test Generation from Timed Automata
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Method for Testing the Conformance of Real Time Systems
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
Conformance Testing Techniques for Timed Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Specification-Based Testing for Real-Time Reactive Systems
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Specification of Timed EFSM Fault Models in SDL
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Cooperative Testing of Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Fault masking by multiple timing faults in timed EFSM models
Computer Networks: The International Journal of Computer and Telecommunications Networking
Conformance testing for real-time systems
Formal Methods in System Design
Testing Real-Time Systems Using TINA
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Complete Test Graph Synthesis For Symbolic Real-time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Testing real-time systems using UPPAAL
Formal methods and testing
InRob: An approach for testing interoperability and robustness of real-time embedded software
Journal of Systems and Software
Test case minimization for real-time systems using timed bound traces
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A formal framework for black-box conformance testing of distributed real-time systems
International Journal of Critical Computer-Based Systems
A test generation framework for quiescent real-time systems
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Integrated tool for testing timed systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Conformance testing of real-time component based systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Testing communicating systems: a model, a methodology, and a tool
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Timing fault models for systems with multiple timers
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
An expressive and implementable formal framework for testing real-time systems
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Testing real-time systems under uncertainty
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Test generation for duration systems
VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems
A comparison of distributed test generation techniques
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Conformance testing to real-time communications systems
Computer Communications
Testing Real-Time Embedded Systems using Timed Automata based approaches
Journal of Systems and Software
Hi-index | 0.00 |