A
Andrei Arusoaie
Researcher at Alexandru Ioan Cuza University
Publications - 36
Citations - 503
Andrei Arusoaie is an academic researcher from Alexandru Ioan Cuza University. The author has contributed to research in topics: Operational semantics & Symbolic execution. The author has an hindex of 10, co-authored 34 publications receiving 466 citations. Previous affiliations of Andrei Arusoaie include French Institute for Research in Computer Science and Automation.
Papers
More filters
Proceedings ArticleDOI
Augmented Reality
Andrei Arusoaie,Alexandru Ionut Cristei,Cristian Chircu,Mihai Andrei Livadariu,Vlad Manea,Adrian Iftene +5 more
TL;DR: An application framework that is developing, in order to help others implement their own applications for Augmented Reality, and some future works to highlight the capabilities of the AR API.
Journal ArticleDOI
A generic framework for symbolic execution
TL;DR: It is proved that the symbolic execution thus defined has the properties naturally expected from it, meaning that the feasible symbolic executions of a program and the concrete executions of the same program mutually simulate each other.
Book ChapterDOI
A Generic Framework for Symbolic Execution
TL;DR: This work proposes a language-independent symbolic execution framework for languages endowed with a formal operational semantics based on term rewriting, and proves that the symbolic execution thus defined has the properties naturally expected from it.
Journal ArticleDOI
The K Primer (version 3.3)
Traian Florin Şerbănuţă,Andrei Arusoaie,David Lazar,Chucky Ellison,Dorel Lucanu,Grigore Rosu +5 more
TL;DR: It is shown how sequential or concurrent languages can be defined in K simply and modularly, a system for formally defining programming languages.
Proceedings ArticleDOI
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code
TL;DR: A new quality metric is introduced that is called robust detection which also allows us to measure unique detections by tool and by (sub)defect type and also finds several mistakes in the Toyota ITC testsuite that are fixed.