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 = {Formal Methods and Software Engineering - 14th International Conference
               on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
               12-16, 2012. Proceedings},
  pages     = {414--429},
  year      = {2012},
  crossref  = {DBLP:conf/icfem/2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3\_29},
  doi       = {10.1007/978-3-642-34281-3\_29},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/GanovKP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages     = {464--467},
  year      = {2011},
  crossref  = {DBLP:conf/kbse/2011},
  url       = {https://doi.org/10.1109/ASE.2011.6100100},
  doi       = {10.1109/ASE.2011.6100100},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/kbse/GanovKP11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  pages     = {69--87},
  year      = {2009},
  crossref  = {DBLP:conf/icfem/2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5\_4},
  doi       = {10.1007/978-3-642-10373-5\_4},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/GanovKKP09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Proceedings of the 3rd International Workshop on Automation of Software
               Test, {AST} 2008, Leipzig, Germany, May 11-11, 2008},
  pages     = {33--40},
  year      = {2008},
  crossref  = {DBLP:conf/icse/2008ast},
  url       = {https://doi.org/10.1145/1370042.1370050},
  doi       = {10.1145/1370042.1370050},
  timestamp = {Thu, 30 Apr 2020 12:10:35 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/GanovKKP08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2012,
  editor    = {Toshiaki Aoki and
               Kenji Taguchi},
  title     = {Formal Methods and Software Engineering - 14th International Conference
               on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November
               12-16, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7635},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34281-3},
  doi       = {10.1007/978-3-642-34281-3},
  isbn      = {978-3-642-34280-6},
  timestamp = {Mon, 29 Nov 2021 04:56:37 +0100},
  biburl    = {https://dblp.org/rec/conf/icfem/2012.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2011,
  editor    = {Perry Alexander and
               Corina S. Pasareanu and
               John G. Hosking},
  title     = {26th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6093623/proceeding},
  isbn      = {978-1-4577-1638-6},
  timestamp = {Mon, 29 Nov 2021 04:56:37 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/2011.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2009,
  editor    = {Karin K. Breitman and
               Ana Cavalcanti},
  title     = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5885},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5},
  doi       = {10.1007/978-3-642-10373-5},
  isbn      = {978-3-642-10372-8},
  timestamp = {Mon, 29 Nov 2021 04:56:37 +0100},
  biburl    = {https://dblp.org/rec/conf/icfem/2009.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008ast,
  editor    = {Hong Zhu and
               W. Eric Wong and
               Fevzi Belli},
  title     = {Proceedings of the 3rd International Workshop on Automation of Software
               Test, {AST} 2008, Leipzig, Germany, May 11-11, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1370042},
  doi       = {10.1145/1370042},
  isbn      = {978-1-60558-030-2},
  timestamp = {Mon, 29 Nov 2021 04:56:37 +0100},
  biburl    = {https://dblp.org/rec/conf/icse/2008ast.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics