CfPBoK
by
Vadim Zaytsev
Vlad Rusu
SLE 2013
⭐
SLE 2014 SI
⭐
Summary
2
papers in
2
bundles
Top 3 popular topics:
T5D: Formal Methods
(
2
times)
T1C: Behavioural Semantics
(
2
times)
T4C: Vertical Transformation
(
2
times)
Top 2 coauthors:
Andrei Arusoaie
(
2
times)
Dorel Lucanu
(
2
times)
Made
2
contributions (see below)
List of contributions
(
SLE 2013
)
Coauthored
A Generic Framework for Symbolic Execution
(
Andrei Arusoaie
,
Dorel Lucanu
,
Vlad Rusu
)
(
SLE 2014 SI
)
Coauthored
Symbolic execution based on language transformation
(
Andrei Arusoaie
,
Dorel Lucanu
,
Vlad Rusu
)
The page is maintained by
Dr. Vadim Zaytsev
a.k.a. @
grammarware
. Last updated: June 2026.
