Svetoslav R. Ganov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2008–2012
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | ICFEM | Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. | Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry |
| 2009 | ICFEM | Event Listener Analysis and Symbolic Execution for Testing GUI Applications. | Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry |
| 2008 | ICSE | Test Generation for Graphical User Interfaces Based on Symbolic Execution. | Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry |