Simulation-based bug trace minimization with BMC-based refinement.
| Autor: | Chang, Kai-hui, Bertacco, V., Markov, I. L. |
|---|---|
| Zdroj: | Proceedings of the 2005 IEEE ACM International Conference Computer-aided Design; 5/31/2005, p1045-1051, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|