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},
  editor    = {Marlon Dumas and
               Dietmar Pfahl and
               Sven Apel and
               Alessandra Russo},
  title     = {{FUDGE:} fuzz driver generation at scale},
  booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
               Conference and Symposium on the Foundations of Software Engineering,
               {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
  pages     = {975--985},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3338906.3340456},
  doi       = {10.1145/3338906.3340456},
  timestamp = {Fri, 09 Aug 2019 14:12:27 +0200},
  biburl    = {https://dblp.org/rec/conf/sigsoft/BabicBCIKKLSW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BucurKC14,
  author    = {Stefan Bucur and
               Johannes Kinder and
               George Candea},
  editor    = {Rajeev Balasubramonian and
               Al Davis and
               Sarita V. Adve},
  title     = {Prototyping symbolic execution engines for interpreted languages},
  booktitle = {Architectural Support for Programming Languages and Operating Systems,
               {ASPLOS} '14, Salt Lake City, UT, USA, March 1-5, 2014},
  pages     = {239--254},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2541940.2541977},
  doi       = {10.1145/2541940.2541977},
  timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
  biburl    = {https://dblp.org/rec/conf/asplos/BucurKC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KuznetsovKBC14,
  author    = {Volodymyr Kuznetsov and
               Johannes Kinder and
               Stefan Bucur and
               George Candea},
  editor    = {Wilhelm Hasselbring and
               Nils Christian Ehmke},
  title     = {Efficient State Merging in Symbolic Execution},
  booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
               25. Februar - 28. Februar 2014, Kiel, Germany},
  series    = {{LNI}},
  volume    = {{P-227}},
  pages     = {45--46},
  publisher = {{GI}},
  year      = {2014},
  url       = {https://dl.gi.de/20.500.12116/30951},
  timestamp = {Wed, 13 Jan 2021 11:09:09 +0100},
  biburl    = {https://dblp.org/rec/conf/se/KuznetsovKBC14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Asia-Pacific Workshop on Systems, APSys '13, Singapore, Singapore,
               July 29-30, 2013},
  pages     = {18:1--18:7},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2500727.2500730},
  doi       = {10.1145/2500727.2500730},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/apsys/BucurKC13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KuznetsovKBC12,
  author    = {Volodymyr Kuznetsov and
               Johannes Kinder and
               Stefan Bucur and
               George Candea},
  editor    = {Jan Vitek and
               Haibo Lin and
               Frank Tip},
  title     = {Efficient state merging in symbolic execution},
  booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  pages     = {193--204},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2254064.2254088},
  doi       = {10.1145/2254064.2254088},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/pldi/KuznetsovKBC12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BucurUZC11,
  author    = {Stefan Bucur and
               Vlad Ureche and
               Cristian Zamfir and
               George Candea},
  editor    = {Christoph M. Kirsch and
               Gernot Heiser},
  title     = {Parallel symbolic execution for automated real-world software testing},
  booktitle = {European Conference on Computer Systems, Proceedings of the Sixth
               European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
               April 10-13, 2011},
  pages     = {183--198},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/1966445.1966463},
  doi       = {10.1145/1966445.1966463},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/eurosys/BucurUZC11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/CandeaBZ10,
  author    = {George Candea and
               Stefan Bucur and
               Cristian Zamfir},
  editor    = {Joseph M. Hellerstein and
               Surajit Chaudhuri and
               Mendel Rosenblum},
  title     = {Automated software testing as a service},
  booktitle = {Proceedings of the 1st {ACM} Symposium on Cloud Computing, SoCC 2010,
               Indianapolis, Indiana, USA, June 10-11, 2010},
  pages     = {155--160},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1807128.1807153},
  doi       = {10.1145/1807128.1807153},
  timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
  biburl    = {https://dblp.org/rec/conf/cloud/CandeaBZ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1145/1713254.1713257},
  doi       = {10.1145/1713254.1713257},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigops/CiorteaZBCC09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics