Svetoslav R. Ganov

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Domain Specific

Annotation Tool

Top Venues

Publications

Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry
Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. ICFEM (2012)
Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry
A case for alloy annotations for efficient incremental analysis via domain specific solvers. ASE (2011)
Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry
Event Listener Analysis and Symbolic Execution for Testing GUI Applications. ICFEM (2009)
Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry
Test Generation for Graphical User Interfaces Based on Symbolic Execution. AST (2008)