Deriving test plans from architectural descriptions
Proceedings of the 22nd international conference on Software engineering
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
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
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
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
Formal Methods in System Design
Automated verification and test case generation for input validation
Proceedings of the 2006 international workshop on Automation of software test
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Testing Timed Finite State Machines with Guaranteed Fault Coverage
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
A guided method for testing timed input output automata
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Testing timed systems modeled by Stream X-machines
Software and Systems Modeling (SoSyM)
Integrated tool for testing timed systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed 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
| Hi-index | 0.00 |