Stefan Bucur
Titel
Geciteerd door
Geciteerd door
Jaar
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
2792011
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
2702010
Efficient state merging in symbolic execution
V Kuznetsov, J Kinder, S Bucur, G Candea
PLDI (ACM SIGPLAN Conference on Programming Language Design and …, 2012
2672012
Automated software testing as a service
G Candea, S Bucur, C Zamfir
SOCC (ACM Symposium on Cloud Computing), 155-160, 2010
1982010
Prototyping Symbolic Execution Engines for Interpreted Languages
S Bucur, J Kinder, G Candea
ASPLOS (Intl. Conf. on Architectural Support for Programming Languages and …, 2014
572014
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
162019
Parallel symbolic execution on cluster of commodity hardware
S Bucur, C Zamfir, G Candea
US Patent 8,863,096, 2014
102014
Advantageous state merging during symbolic analysis
V Kuznetsov, J Kinder, S Bucur, G Candea
US Patent 9,141,354, 2015
92015
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
Scalable Automated Testing Using Symbolic Execution
S Bucur
42010
Improving scalability of symbolic execution for software with complex environment interfaces
S Bucur
EPFL, 2015
32015
Automated software testing as a service
C George, S Bucur, C Zamfir
32010
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
2021
Cloud9
S Bucur, V Ureche, C Zamfir, G Candea
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–14