149 citations · 1.2k across the 55 of their papers we have counts for
56 papers
Petrify: Petri-net Based Analysis of Concurrency Properties in Java Bytecode
Akshatha Shenoy, Carlo A. Furia
The landscape of automated formal verification is populated by techniques that make prominently different trade-offs: some focus on expressiveness and precision, supporting the ver…
Practical Range Refinement Types with Inference
Valentin Aebi, Carlo A. Furia
Refinement types are a static verification technique that aims at increasing the expressivity of traditional type systems while remaining easy and natural to use. While systems bas…
Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
Lidia Losavio, Marco Paganoni, Carlo A. Furia
Lightweight validation technique, such as those based on random testing, are sometimes practical alternatives to full formal verification -- providing valuable benefits, such as fi…
What Makes a Level Hard in Super Mario Maker 2?
Carlo A. Furia, Andrea Mocci
Games like Super Mario Maker 2 (SMM2) lower the barrier for casual users to become level designers. In this paper, we set out to analyze a vast amount of data about SMM2 user-writt…
Mitigating Omitted Variable Bias in Empirical Software Engineering
Carlo A. Furia, Richard Torkar
Omitted variable bias occurs when a statistical model leaves out variables that are relevant determinants of the effects under study. This results in the model attributing the miss…
Verifying Functional Correctness Properties At the Level of Java Bytecode
Marco Paganoni, Carlo A. Furia
The breakneck evolution of modern programming languages aggravates the development of deductive verification tools, which struggle to timely and fully support all new language feat…