DMCA

Improving Efficiency of Symbolic Model Checking for State-Based System Requirements (1998)

by William Chan , Richard J. Anderson , Paul Beame , David Notkin
Venue:ISSTA 98: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis
Citations:18 - 5 self