Vacuity analysis for property qualification by mutation of checkers.
| Autor: | Di Guglielmo, L., Fummi, F., Pravadelli, G. |
|---|---|
| Zdroj: | 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2010, p478-483, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|