Generating interaction test cases for mobile phone systems from use case specifications
ACM SIGSOFT Software Engineering Notes
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Feature specification and static analysis for interaction resolution
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |