Stefan Bucur

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 1

Top Topics

Symbolic Execution

Simulated Annealing Algorithm

Distributed Computing

Top Venues

ESEC/SIGSOFT FSE

Software Engineering

Publications

Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang
FUDGE: fuzz driver generation at scale. ESEC/SIGSOFT FSE (2019)
Stefan Bucur, Johannes Kinder, George Candea
Prototyping symbolic execution engines for interpreted languages. ASPLOS (2014)
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Efficient State Merging in Symbolic Execution. Software Engineering (2014)
Stefan Bucur, Johannes Kinder, George Candea
Making automated testing of cloud applications an integral component of PaaS. APSys (2013)
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea
Efficient state merging in symbolic execution. PLDI (2012)
Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea
Parallel symbolic execution for automated real-world software testing. EuroSys (2011)
George Candea, Stefan Bucur, Cristian Zamfir
Automated software testing as a service. SoCC (2010)
Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea
Cloud9: a software testing service. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)