Assertion-based repair of complex data structures.
| Autor: | Elkarablieh, Bassem, Garcia, Ivan, Suen, Yuk Lai, Khurshid, Sarfraz |
|---|---|
| Zdroj: | Proceedings of the Twenty-Second IEEE/ACM International Conference: Automated Software Engineering; 11/ 5/2007, p64-73, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|