Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis.
| Autor: | Danhua Shao, Gopinath, D., Khurshid, S., Perry, D.E. |
|---|---|
| Zdroj: | 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE); 2010, p408-417, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|