JCHARMING: A bug reproduction approach using crash traces and directed model checking.
| Autor: | Nayrolles, Mathieu, Hamou-Lhadj, Abdelwahab, Tahar, Sofiene, Larsson, Alf |
|---|---|
| Zdroj: | 2015 IEEE 22nd International Conference on Software Analysis, Evolution & Reengineering (SANER); 2015, p101-110, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|