Testing transition systems with input and output testers
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Model based testing with labelled transition systems
Formal methods and testing
Unifying input output conformance
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Automated model-based testing of χ simulation models with TorX
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Hi-index | 0.00 |