Generalizing symbolic execution to library classes.
| Autor: | Khurshid, Sarfraz, Suen, Yuk Lai |
|---|---|
| Zdroj: | Proceedings of the 6th ACM SIGPLAN-SIGSOFT Workshop: Program Analysis for Software Tools & Engineering; 9/ 5/2005, p103-110, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|