BibTeX records: Stefan Bucur

download as .bib file

@inproceedings{DBLP:conf/sigsoft/BabicBCIKKLSW19,
  author    = {Domagoj Babic and
               Stefan Bucur and
               Yaohui Chen and
               Franjo Ivancic and
               Tim King and
               Markus Kusano and
               Caroline Lemieux and
               L{\'{a}}szl{\'{o}} Szekeres and
               Wei Wang},
  title     = {{FUDGE:} fuzz driver generation at scale},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {975--985},
  publisher = {{ACM}},
  year      = {2019}
}
@inproceedings{DBLP:conf/asplos/BucurKC14,
  author    = {Stefan Bucur and
               Johannes Kinder and
               George Candea},
  title     = {Prototyping symbolic execution engines for interpreted languages},
  booktitle = {{ASPLOS}},
  pages     = {239--254},
  publisher = {{ACM}},
  year      = {2014}
}
@inproceedings{DBLP:conf/se/KuznetsovKBC14,
  author    = {Volodymyr Kuznetsov and
               Johannes Kinder and
               Stefan Bucur and
               George Candea},
  title     = {Efficient State Merging in Symbolic Execution},
  booktitle = {Software Engineering},
  series    = {{LNI}},
  volume    = {{P-227}},
  pages     = {45--46},
  publisher = {{GI}},
  year      = {2014}
}
@inproceedings{DBLP:conf/apsys/BucurKC13,
  author    = {Stefan Bucur and
               Johannes Kinder and
               George Candea},
  title     = {Making automated testing of cloud applications an integral component
               of PaaS},
  booktitle = {APSys},
  pages     = {18:1--18:7},
  publisher = {{ACM}},
  year      = {2013}
}
@inproceedings{DBLP:conf/pldi/KuznetsovKBC12,
  author    = {Volodymyr Kuznetsov and
               Johannes Kinder and
               Stefan Bucur and
               George Candea},
  title     = {Efficient state merging in symbolic execution},
  booktitle = {{PLDI}},
  pages     = {193--204},
  publisher = {{ACM}},
  year      = {2012}
}
@inproceedings{DBLP:conf/eurosys/BucurUZC11,
  author    = {Stefan Bucur and
               Vlad Ureche and
               Cristian Zamfir and
               George Candea},
  title     = {Parallel symbolic execution for automated real-world software testing},
  booktitle = {EuroSys},
  pages     = {183--198},
  publisher = {{ACM}},
  year      = {2011}
}
@inproceedings{DBLP:conf/cloud/CandeaBZ10,
  author    = {George Candea and
               Stefan Bucur and
               Cristian Zamfir},
  title     = {Automated software testing as a service},
  booktitle = {SoCC},
  pages     = {155--160},
  publisher = {{ACM}},
  year      = {2010}
}
@article{DBLP:journals/sigops/CiorteaZBCC09,
  author    = {Liviu Ciortea and
               Cristian Zamfir and
               Stefan Bucur and
               Vitaly Chipounov and
               George Candea},
  title     = {Cloud9: a software testing service},
  journal   = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume    = {43},
  number    = {4},
  pages     = {5--10},
  year      = {2009}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics