Data- ow-based Testing of Object-Oriented Libraries (1999)

by R Chatterjee, B G Ryder