Follow
Stefan Bucur
Title
Cited by
Cited by
Year
Efficient state merging in symbolic execution
V Kuznetsov, J Kinder, S Bucur, G Candea
PLDI (ACM SIGPLAN Conference on Programming Language Design and …, 2012
3822012
Parallel symbolic execution for automated real-world software testing
S Bucur, V Ureche, C Zamfir, G Candea
EuroSys (ACM EuroSys Conference on Computer Systems), 183-198, 2011
3272011
Cloud9: A software testing service
L Ciortea, C Zamfir, S Bucur, V Chipounov, G Candea
ACM SIGOPS Operating Systems Review 43 (4), 5-10, 2010
2962010
Automated software testing as a service
G Candea, S Bucur, C Zamfir
SOCC (ACM Symposium on Cloud Computing), 155-160, 2010
2102010
Fudge: fuzz driver generation at scale
D Babić, S Bucur, Y Chen, F Ivančić, T King, M Kusano, C Lemieux, ...
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
1302019
Prototyping Symbolic Execution Engines for Interpreted Languages
S Bucur, J Kinder, G Candea
ASPLOS (Intl. Conf. on Architectural Support for Programming Languages and …, 2014
842014
Parallel symbolic execution on cluster of commodity hardware
S Bucur, C Zamfir, G Candea
US Patent 8,863,096, 2014
152014
Advantageous state merging during symbolic analysis
V Kuznetsov, J Kinder, S Bucur, G Candea
US Patent 9,141,354, 2015
102015
Automatic Generation Of Patches For Security Violations
D Babic, O Tripp, F Ivancic, S Kerner, M Kusano, T King, S Bucur, W Wang, ...
US Patent App. 16/980,546, 2021
72021
Making Automated Testing of Cloud Applications an Integral Component of PaaS
S Bucur, J Kinder, G Candea
APSYS (Asia-Pacific Workshop on Systems), 2013
72013
Improving scalability of symbolic execution for software with complex environment interfaces
S Bucur
EPFL, 2015
62015
Scalable Automated Testing Using Symbolic Execution
S Bucur
42010
Automated software testing as a service
C George, B Stefan, Z Cristian
Proc. 1st ACM symposium on Cloud computing, 2010
22010
Group ID U11275 Affiliated authors Andrica, Silviu
R Banabic, AEW Bique, P Borsò-Tan, CM Brzak, S Bucur, G Candea, ...
Cloud9
S Bucur, V Ureche, C Zamfir, G Candea
The system can't perform the operation now. Try again later.
Articles 1–15