TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Testing the Completeness of Specifications
IEEE Transactions on Software Engineering
Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Automated Module Testing in Prolog
IEEE Transactions on Software Engineering
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Journal of Symbolic Computation - Special issue on automatic programming
An automated tool for analyzing completeness of equational specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software requirements validation via task analysis
Journal of Systems and Software
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Verdict functions in testing with a fault domain or test hypotheses
ACM Transactions on Software Engineering and Methodology (TOSEM)
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Testing data types implementations from algebraic specifications
Formal methods and testing
A note on traces refinement and the conf relation in the unifying theories of programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Testing techniques in software engineering
Testing techniques in software engineering
Specification coverage for testing in circus
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
An experimental assessment of module documentation-based testing
Information and Software Technology
Controllable combinatorial coverage in grammar-based testing
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Adapting model-based testing techniques to DEVS models validation
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
| Hi-index | 0.00 |