Takip et
Stefan Bucur
Stefan Bucur
Google Inc.
google.com üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Efficient state merging in symbolic execution
V Kuznetsov, J Kinder, S Bucur, G Candea
PLDI (ACM SIGPLAN Conference on Programming Language Design and …, 2012
3852012
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
3302011
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
2972010
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
1382019
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
112015
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 12,182,269, 2024
82024
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–15