Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications.

Amit M. Paradkar

Browse the full ISSRE paper archive.