Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A reduced test suite for protocol conformance testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Editorial message: special track on the programming languages and object technologies
Proceedings of the 2003 ACM symposium on Applied computing
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Though time-to-market has become the primary criterion that drives most current software development projects, quality still remains the key concern of critical software development projects, for which the cost of a single bug may involve serious loss or damages. Meeting the higher quality level required for such kinds of systems may be achieved only by using sound and rigorous test practices. We present in this paper an integrated platform that uses a formalized version of UML statechart as the basis for rigorous testing of object-oriented programs. The platform adapts and integrates systematic test data generation strategies and associated tools for object-oriented program testing.