Stefan Bucur - Concepedia

Author

Stefan Bucur

Also Known As

Bucur, Stefan, Stefan Bucur

Publications

915

Citations

H-Index

Concepts

All Affiliations

Stefan Bucur is an author at École Polytechnique Fédérale de Lausanne specializing in computer science, software engineering, and engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	877
2	Computer Science	6	6	877
3	Computer Engineering	4	4	561
4	Systems Engineering	1	1	184
5	Compilers	1	1	106

Stefan Bucur

Publications

899

Citations

H-Index

Page 1

	Year	Citations
Parallel symbolic execution for automated real-world software testing Stefan Bucur, Vlad Ureche, Cristian Zamfir, New Test CasesCluster ComputingParallel Symbolic ExecutionPath ExplosionEngineering	2011	232
Efficient state merging in symbolic execution Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, EngineeringSoftware EngineeringSoftware AnalysisSymbolic ComputationFormal Verification	2012	184
Cloud9 Liviu Ciortea, Cristian Zamfir, Stefan Bucur, ACM SIGOPS Operating Systems Review Automated TestingCluster ComputingEngineeringAmazon Ec2Software Testing	2010	184
Automated software testing as a service George Candea, Stefan Bucur, Cristian Zamfir Software MaintenanceEngineeringSoftware EngineeringHome EditionSoftware Analysis	2010	132
FUDGE: fuzz driver generation at scale Domagoj Babić, Stefan Bucur, Yaohui Chen, EngineeringAdvanced ComputingSoftware SystemsSoftware EngineeringSource Code Analysis	2019	106
Prototyping symbolic execution engines for interpreted languages Stefan Bucur, Johannes Kinder, George Candea Ambiguous Language SpecificationsEngineeringSoftware EngineeringInterpreter (Computing)Software Analysis	2014	39
Automated Software Testing as a Service (TaaS) George Candea, Stefan Bucur, Cristian Zamfir Infoscience (Ecole Polytechnique Fédérale de Lausanne)	2010	22

Page 1