149 citations · 261 across the 8 of their papers we have counts for
8 papers
ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters
Riccardo Felici, Laura Pozzi, Carlo A. Furia
Despite its long-standing popularity and fundamental role in an operating system, the Unix shell has rarely been a subject of academic research. In particular, regardless of the si…
Challenges of Multilingual Program Specification and Analysis
Carlo A. Furia, Abhishek Tiwari
Multilingual programs, whose implementations are made of different languages, are gaining traction especially in domains, such as web programming, that particularly benefit from th…
FauxPy: A Fault Localization Tool for Python
Mohammad Rezaalipour, Carlo A. Furia
This paper presents FauxPy, a fault localization tool for Python programs. FauxPy supports seven well-known fault localization techniques in four families: spectrum-based, mutation…
Bayesian Statistics in Software Engineering: Practical Guide and Case Studies
Carlo A. Furia
Statistics comes in two main flavors: frequentist and Bayesian. For historical and technical reasons, frequentist statistics has dominated data analysis in the past; but Bayesian s…
A Comparative Study of Programming Languages in Rosetta Code
Sebastian Nanz, Carlo A. Furia
Sometimes debates on programming languages are more religious than scientific. Questions about which language is more succinct or efficient, or makes developers more productive are…
Rotation of Sequences: Algorithms and Proofs
Carlo A. Furia
Sequence rotation consists of a circular shift of the sequence's elements by a given number of positions. We present the four classic algorithms to rotate a sequence; the loop inva…