Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Integrating testing techniques through process programming
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Scenarios, state machines and purpose-driven testing
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
| Hi-index | 0.01 |