Bucur, Stefan
53  results:
Search for persons X
?
4

Prototyping symbolic execution engines for interpreted lang..:

Bucur, Stefan ; Kinder, Johannes ; Candea, George
https://rhul.elsevierpure.com/en/publications/06f2109a-c53c-47ce-8676-33aad6cfbb68.  , 2014
 
?
6

Making Automated Testing of Cloud Applications an Integral ..:

Bucur, Stefan ; Kinder, Johannes ; Candea, George
https://rhul.elsevierpure.com/en/publications/fdf9e5d1-acad-4bc5-b1ca-8092adc69b96.  , 2013
 
?
8

Efficient state merging in symbolic execution:

Kuznetsov, Volodymyr ; Kinder, Johannes ; Bucur, Stefan.
https://rhul.elsevierpure.com/en/publications/f18ac393-0dcd-481b-9dac-dbf9deca958b.  , 2012
 
1-15