Specification directed module testing
IEEE Transactions on Software Engineering
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Some observations on partition testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Software engineering mathematics
Software engineering mathematics
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Case studies in systematic software development
Case studies in systematic software development
Specification case studies
Testability of Software Components
IEEE Transactions on Software Engineering
The Z notation: a reference manual
The Z notation: a reference manual
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
The RAISE specification language
The RAISE specification language
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Planning the Software Industrial Revolution
IEEE Software
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A specification-based adaptive test case generation strategy for open operating system standards
Proceedings of the 18th international conference on Software engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Crossroads - Special issue on human computer interaction
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
Software requirements validation via task analysis
Journal of Systems and Software
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Data Generation for Path Testing
Software Quality Control
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Test Selection Strategies for Lustre Descriptions in GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
A safe regression testing approach for safety critical systems
Advances in Engineering Software
Mastering test generation from smart card software formal models
CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
What good are strong specifications?
Proceedings of the 2013 International Conference on Software Engineering
| Hi-index | 0.00 |