Program slicing enhances a verification technique combining static and dynamic analysis.
| Autor: | Chebaro, Omar, Kosmatov, Nikolai, Giorgetti, Alain, Julliand, Jacques |
|---|---|
| Zdroj: | Proceedings of the 27th Annual ACM Symposium Applied Computing; 3/26/2012, p1284-1291, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|