BibTeX records: Svetoslav R. Ganov

download as .bib file

@inproceedings{DBLP:conf/icfem/GanovKP12,
  author    = {Svetoslav R. Ganov and
               Sarfraz Khurshid and
               Dewayne E. Perry},
  title     = {Annotations for Alloy: Automated Incremental Analysis Using Domain
               Specific Solvers},
  booktitle = {{ICFEM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7635},
  pages     = {414--429},
  publisher = {Springer},
  year      = {2012}
}
@inproceedings{DBLP:conf/kbse/GanovKP11,
  author    = {Svetoslav R. Ganov and
               Sarfraz Khurshid and
               Dewayne E. Perry},
  title     = {A case for alloy annotations for efficient incremental analysis via
               domain specific solvers},
  booktitle = {{ASE}},
  pages     = {464--467},
  publisher = {{IEEE} Computer Society},
  year      = {2011}
}
@inproceedings{DBLP:conf/icfem/GanovKKP09,
  author    = {Svetoslav R. Ganov and
               Chip Killmar and
               Sarfraz Khurshid and
               Dewayne E. Perry},
  title     = {Event Listener Analysis and Symbolic Execution for Testing {GUI} Applications},
  booktitle = {{ICFEM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5885},
  pages     = {69--87},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/icse/GanovKKP08,
  author    = {Svetoslav R. Ganov and
               Chip Killmar and
               Sarfraz Khurshid and
               Dewayne E. Perry},
  title     = {Test Generation for Graphical User Interfaces Based on Symbolic Execution},
  booktitle = {{AST}},
  pages     = {33--40},
  publisher = {{ACM}},
  year      = {2008}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics