Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces
Event details
| Date | 13.07.2015 |
| Hour | 17:00 |
| Speaker |
Stefan BUCUR |
| Location | |
| Category | Thesis defenses |
Thesis director : Prof. G. Candea
Computer and Communication Sciences doctoral program.
Thesis 6719
Practical information
- General public
- Free