Svetoslav R. Ganov

	2011
3		Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry: A case for alloy annotations for efficient incremental analysis via domain specific solvers. ASE 2011: 464-467
	2009
2		Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry: Event Listener Analysis and Symbolic Execution for Testing GUI Applications. ICFEM 2009: 69-87
	2008
1		Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry: Test Generation for Graphical User Interfaces Based on Symbolic Execution. AST 2008: 33-40

Coauthor Index

1	Sarfraz Khurshid	[1] [2] [3]
2	Chip Killmar	[1] [2]
3	Dewayne E. Perry	[1] [2] [3]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page