Testing Transition Systems: An Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Comparing TorX, Autolink, TGV and UIO Test Algorithms
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Test Purposes: Adapting the Notion of Specification to Testing
Proceedings of the 16th IEEE international conference on Automated software engineering
Using coverage to automate and improve test purpose based testing
Information and Software Technology
Optimal string edit distance based test suite reduction for SDL specifications
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
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 |