7
Publications
899
Citations
7
H-Index
2010
Active since
Affiliations
Stefan Bucur is an author at École Polytechnique Fédérale de Lausanne specializing in computer science, software engineering, and engineering.
Top concepts
EngineeringComputer ScienceSoftware TestingSoftware AnalysisSoftware EngineeringProgram AnalysisSystem SoftwareComputer EngineeringFormal MethodsCloud Computing
Publications per year
2010–2019
7
7
Parallel symbolic execution for automated real-world software testing
Stefan Bucur, Vlad Ureche, Cristian Zamfir et al. · 2011 · 232 citations · Full text
New Test Cases, Cluster Computing, Parallel Symbolic Execution +23
Efficient state merging in symbolic execution
Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur et al. · 2012 · 184 citations · Full text
Liviu Ciortea, Cristian Zamfir, Stefan Bucur et al. · ACM SIGOPS Operating Systems Review · 2010 · 184 citations
Automated software testing as a service
George Candea, Stefan Bucur, Cristian Zamfir · 2010 · 132 citations · Full text
FUDGE: fuzz driver generation at scale
Domagoj Babić, Stefan Bucur, Yaohui Chen et al. · 2019 · 106 citations
Rows per page
1–5 of 7