Svetoslav R. Ganov

According to our database, Svetoslav R. Ganov authored at least 4 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers.

Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the Formal Methods and Software Engineering, 2012

2011

A case for alloy annotations for efficient incremental analysis via domain specific solvers.

Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2009

Event Listener Analysis and Symbolic Execution for Testing GUI Applications.

Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Test Generation for Graphical User Interfaces Based on Symbolic Execution.

Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008