| 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 | 275 | 2011 |
| 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 | 263 | 2010 |
| Efficient state merging in symbolic execution V Kuznetsov, J Kinder, S Bucur, G Candea PLDI (ACM SIGPLAN Conference on Programming Language Design and …, 2012 | 258 | 2012 |
| Automated software testing as a service G Candea, S Bucur, C Zamfir SOCC (ACM Symposium on Cloud Computing), 155-160, 2010 | 189 | 2010 |
| Prototyping Symbolic Execution Engines for Interpreted Languages S Bucur, J Kinder, G Candea ASPLOS (Intl. Conf. on Architectural Support for Programming Languages and …, 2014 | 55 | 2014 |
| Parallel symbolic execution on cluster of commodity hardware S Bucur, C Zamfir, G Candea US Patent 8,863,096, 2014 | 10 | 2014 |
| 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 | 9 | 2019 |
| Advantageous state merging during symbolic analysis V Kuznetsov, J Kinder, S Bucur, G Candea US Patent 9,141,354, 2015 | 8 | 2015 |
| Making Automated Testing of Cloud Applications an Integral Component of PaaS S Bucur, J Kinder, G Candea APSYS (Asia-Pacific Workshop on Systems), 2013 | 7 | 2013 |
| Scalable Automated Testing Using Symbolic Execution S Bucur | 4 | 2010 |
| Improving scalability of symbolic execution for software with complex environment interfaces S Bucur EPFL, 2015 | 3 | 2015 |
| Automated software testing as a service C George, S Bucur, C Zamfir | 3 | 2010 |
| 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 | | |
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Verified email at epfl.ch
