Stefan Bucur

According to our database, Stefan Bucur authored at least 8 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

FUDGE: fuzz driver generation at scale.

Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2015

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces.

Stefan Bucur

PhD thesis, 2015

2014

Efficient State Merging in Symbolic Execution.

Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Prototyping symbolic execution engines for interpreted languages.

Stefan Bucur, Johannes Kinder, George Candea

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

Making automated testing of cloud applications an integral component of PaaS.

Stefan Bucur, Johannes Kinder, George Candea

Proceedings of the Asia-Pacific Workshop on Systems, 2013

2011

Parallel symbolic execution for automated real-world software testing.

Stefan Bucur, Vlad Ureche, Cristian Zamfir, George Candea

Proceedings of the European Conference on Computer Systems, 2011

2010

Automated software testing as a service.

George Candea, Stefan Bucur, Cristian Zamfir

Proceedings of the 1st ACM Symposium on Cloud Computing, 2010

2009

Cloud9: a software testing service.

Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea

ACM SIGOPS Oper. Syst. Rev., 2009