Using Formal Methods To Derive Test Frames In Category-Partition Testing

by Paul Ammann , Jeff Offutt
Citations:50 - 11 self