Predicate-based test generation for computer programs

Evaluation of a predicate-based software testing strategy

IBM Systems Journal

Theory of Fault-Based Predicate Testing for Computer Programs

IEEE Transactions on Software Engineering

Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)

UML-Based integration testing

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis

Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing

Journal of Electronic Testing: Theory and Applications

A new solution to test generation for Boolean expressions

CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research

On the experience of using cause-effect graphs for software specification and test generation

CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research

Fault-based test generation for cause-effect graphs

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1

Data Generation for Path Testing

Software Quality Control

Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing

Journal of Electronic Testing: Theory and Applications

Testing software modelling tools using data mutation

Proceedings of the 2006 international workshop on Automation of software test

Constraint based structural testing criteria

Journal of Systems and Software

A theory of predicate-complete test coverage and generation

FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects