Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference
File | MIME type | Size (KB) | Language | Download | |
---|---|---|---|---|---|
usc-csse-2010-513.pdf | application/pdf | 227.93 KB | English | DOWNLOAD! |
File | MIME type | Size (KB) | Language | Download | |
---|---|---|---|---|---|
usc-csse-2010-513.pdf | application/pdf | 227.93 KB | English | DOWNLOAD! |