Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
A survey of software functional testing methods
ACM SIGSOFT Software Engineering Notes
Interprocedural static analysis of sequencing constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
On random and partition testing
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
The derivation of test cases from SDL specifications
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
On Comparisons of Random, Partition, and Proportional Partition Testing
IEEE Transactions on Software Engineering
A Rule-Based Software Test Data Generator
IEEE Transactions on Knowledge and Data Engineering
MAP 2.1 Conformance Testing Tools
IEEE Transactions on Software Engineering
Statecharts Supervision Models for Soft Real-Time Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
A Rigorous Approach to Reviewing Formal Specifications
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
The Specification-Based Testing of a Trusted Kernel: MK++
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Using fault injection to increase software test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Data Generation for Path Testing
Software Quality Control
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Selecting optimal instantiations of data models: theory and validation of an ex ante approach
Decision Support Systems
Information and Software Technology
| Hi-index | 0.00 |