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! |
Systems engineering training and consulting for project success ...