Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Passive mid-stream monitoring of real-time properties
Proceedings of the 5th ACM international conference on Embedded software
Developing a TTCN-3 test harness for legacy software
Proceedings of the 2006 international workshop on Automation of software test
Synthesis of test purpose directed reactive planning tester for nondeterministic systems
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
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
Testing real-time systems using UPPAAL
Formal methods and testing
Conformance testing for cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS)
WSCCT: a tool for WS-BPEL compositions conformance testing
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Conformance testing for quality assurance of clustering architectures
Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
| Hi-index | 0.00 |
The goal of testing is to gain confidence in a physical computer based system by means of executing it. More than one third of typical project resources is spent on testing embedded and real-time systems, but still it remains ad-hoc, based on heuristics, and error-prone. Therefore systematic, theoretically well-founded and effective automated real-time testing techniques are of great practical value.