Statistics
Publications
2
Citations
31
H-Index
2
Active since
2015
Affiliations
Lajos Cseppentő is an author at Budapest University of Technology and Economics specializing in formal verification, computer engineering, and system software.
Publications per year
2015–2017
2
2
Evaluating Symbolic Execution-Based Test Tools
Lajos Cseppentő, Zoltán Micskei · 2015 · 21 citations
1–2 of 2