23 citations · 43 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017★ 6 cited
Probabilistic Analysis Based On Symbolic Game Semantics and Model Counting
Aleksandar S. Dimovski
Probabilistic program analysis aims to quantify the probability that a given program satisfies a required property. It has many potential applications, from program understanding a…
cs.PL2017★ 23 cited
Effective Analysis of C Programs by Rewriting Variability
Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski +2
Context. Variability-intensive programs (program families) appear in many application areas and for many reasons today. Different family members, called variants, are derived by sw…