Links to documents
Regression test selection for C++ software
Static variable ordering for efficient BDD construction