Software testing and verification techniques

Links to documents

Regression test selection for C++ software

Static variable ordering for efficient BDD construction