A Temporal Approach for Testing Distributed Systems
IEEE Transactions on Software Engineering
Formalization of test experiments
Programming and Computing Software
Complete Test Graph Synthesis For Symbolic Real-time Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Testing transition systems with input and output testers
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Automatic interoperability test case generation based on formal definitions
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Interaction semantics with refusals, divergence, and destruction
Programming and Computing Software
Specification completion for IOCO
Programming and Computing Software
Synchronizing asynchronous conformance testing
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
FSM test translation through context
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating 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
The complexity of asynchronous model based testing
Theoretical Computer Science
| Hi-index | 0.00 |