Testing monadic code with QuickCheck
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Testing monadic code with QuickCheck
ACM SIGPLAN Notices
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
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
Tracing Execution of Software for Design Coverage
Proceedings of the 16th IEEE international conference on Automated software engineering
General Test Result Checking with Log File Analysis
IEEE Transactions on Software Engineering
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Proceedings of the 26th International Conference on Software Engineering
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
Heuristic Search with Reachability Tests for Automated Generation of Test Programs
Proceedings of the 19th IEEE international conference on Automated software engineering
Automated generation of test suites from formal specifications of real-time reactive systems
Journal of Systems and Software
An Empirical Study of Structural Constraint Solving Techniques
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
| Hi-index | 0.00 |