Get started
Author

Carlo A. Furia

Observed names: C.A. Furia, Carlo A Furia, Carlo Alb Erto Furia, Carlo Alberto Furia, Carlo Furia, FURIA, CARLO ALBERTO, Furia, Carlo, Furia, Carlo A, Furia, Carlo A., Furia, Carlo Alberto
Observed institutions: University of Pisa, National University of Ireland, Maynooth, ETH Zurich, Graz University of Technology, University of Virginia, Università della Svizzera italiana, Chalmers University of Technology, University of Genoa, University of Gothenburg, Politecnico di Milano
ORCID: 0000-0003-1040-3201
Observed ORCID: 0000-0003-1040-3201
OpenAlex ID: A5031470846
Empirical Standards for Software Engineering Research
2020 · Ralph, Paul, Ali, Nauman bin, et al. · arXiv (Cornell University) · 341
PDF
Automated fixing of programs with contracts
2010 · Yi Wei, Yu Pei, et al. · International Symposium on Software Testing and Analysis · 229
Automated Fixing of Programs with Contracts
2014 · Yu Pei, Carlo A. Furia, et al. · IEEE Transactions on Software Engineering · 152
PDF
A Comparative Study of Programming Languages in Rosetta Code
2015 · Sebastian Nanz, Carlo A. Furia · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 127
PDF
Contract-based program repair without the contracts
2017 · Liushan Chen, Yu Pei, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 122
An Empirical Study of API Usability
2013 · Marco Piccioni, Carlo A. Furia, et al. · Proceedings of the ... ACM-IEEE International Symposium on Empirical Software Engineering and Measurement/International Symposium on Empirical Software Engineering and Measurement · 122
Inferring better contracts
2011 · Yi Wei, Carlo A. Furia, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 100
Evolution of statistical analysis in empirical software engineering research: Current state and steps forward
2019 · Francisco Gomes de Oliveira Neto, Richard Torkar, et al. · Journal of Systems and Software · 79
PDF
Loop invariants: Analysis, classification, and examples
2014 · Carlo A. Furia, Bertrand Meyer, et al. · ACM Computing Surveys · 79
PDF
A Comparative Study of Programming Languages in Rosetta Code
· Sebastian Nanz, Carlo A. Furia · 73
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs
2015 · Julian Tschannen, Carlo A. Furia, et al. · Lecture notes in computer science · 71
PDF
Agile vs. structured distributed software development: A case study
2013 · Hans-Christian Estler, Martin Nordio, et al. · Empirical Software Engineering · 69
PDF
Bayesian Data Analysis in Empirical Software Engineering Research
2019 · Carlo Alberto Furia, Robert Feldt, et al. · IEEE Transactions on Software Engineering · 67
PDF
Inferring Loop Invariants Using Postconditions
2010 · Carlo Alberto Furia, Bertrand Meyer · Lecture notes in computer science · 66
PDF
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs
2015 · Julian Tschannen, Carlo A. Furia, et al. · eScholarship (California Digital Library) · 65
Modeling time in computing: A taxonomy and a comparative survey
2010 · Carlo A. Furia, Dino Mandrioli, et al. · ACM Computing Surveys · 58
PDF
Modeling Time in Computing
2012 · Carlo A. Furia, Dino Mandrioli, et al. · Monographs in theoretical computer science · 52
PDF
Code-based automated program fixing
2011 · Yu Pei, Yi Wei, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 52
PDF
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings
2020 · Diego Marcilio, Carlo A. Furia, et al. · Journal of Systems and Software · 46
Agile vs. Structured Distributed Software Development: A Case Study
2012 · H.-Christian Estler, Martin Nordio, et al. · IEEE International Conference on Global Software Engineering (ICGSE) · 42
ACM SIGSOFT Empirical Standards.
2020 · Paul Ralph, Sebastian Baltes, et al. · arXiv (Cornell University) · 41
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
2022 · Carlo A. Furia, Richard Torkar, et al. · ACM Transactions on Software Engineering and Methodology · 39
PDF
Flexible Invariants through Semantic Collaboration
2014 · Nadia Polikarpova, Julian Tschannen, et al. · Lecture notes in computer science · 39
PDF
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
2011 · Julian Tschannen, Carlo A. Furia, et al. · Lecture notes in computer science · 35
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking
2015 · Juan P. Galeotti, Carlo A. Furia, et al. · IEEE Transactions on Software Engineering · 34
PDF
Works count: 238
Citation count: 3,287
H-index: 29
I10-index: 72
Year
Topic
Type