Folgen
Carlo A. Furia
Carlo A. Furia
Software Institute - USI Università della Svizzera italiana
Bestätigte E-Mail-Adresse bei usi.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Automated Fixing of Programs with Contracts
Y Pei, CA Furia, M Nordio, Y Wei, B Meyer, A Zeller
IEEE Transactions on Software Engineering 40 (5), 427-449, 2014
455*2014
A comparative study of programming languages in rosetta code
S Nanz, CA Furia
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
1932015
Contract-based program repair without the contracts
L Chen, Y Pei, CA Furia
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
1712017
Empirical standards for software engineering research
P Ralph, N Ali, S Baltes, D Bianculli, J Diaz, Y Dittrich, N Ernst, M Felderer, ...
arXiv preprint arXiv:2010.03525, 2020
165*2020
Agile vs. structured distributed software development: A case study
HC Estler, M Nordio, CA Furia, B Meyer, J Schneider
Empirical Software Engineering 19, 1197-1224, 2014
1642014
An empirical study of API usability
M Piccioni, CA Furia, B Meyer
2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013
1532013
AutoProof: Auto-active functional verification of object-oriented programs
J Tschannen, CA Furia, M Nordio, N Polikarpova
International Conference on Tools and Algorithms for the Construction and …, 2014
1212014
Inferring better contracts
Y Wei, CA Furia, N Kazmin, B Meyer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
1182011
Inferring loop invariants using postconditions
CA Furia, B Meyer
Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the …, 2010
1132010
Loop invariants: Analysis, classification, and examples
CA Furia, B Meyer, S Velder
ACM Computing Surveys (CSUR) 46 (3), 1-51, 2014
922014
Modeling time in computing
CA Furia, D Mandrioli, A Morzenti, M Rossi
Springer Science & Business Media, 2012
882012
Modeling time in computing: a taxonomy and a comparative survey
CA Furia, D Mandrioli, A Morzenti, M Rossi
ACM Computing Surveys (CSUR) 42 (2), 1-59, 2010
822010
Bayesian data analysis in empirical software engineering research
CA Furia, R Feldt, R Torkar
IEEE Transactions on Software Engineering 47 (9), 1786-1810, 2019
782019
Code-based automated program fixing
Y Pei, Y Wei, CA Furia, M Nordio, B Meyer
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
772011
Unifying configuration management with merge conflict detection and awareness systems
HC Estler, M Nordio, CA Furia, B Meyer
2013 22nd Australian Software Engineering Conference, 201-210, 2013
65*2013
Evolution of statistical analysis in empirical software engineering research: Current state and steps forward
FG de Oliveira Neto, R Torkar, R Feldt, L Gren, CA Furia, Z Huang
Journal of Systems and Software 156, 246-267, 2019
612019
Usable verification of object-oriented programs by combining static and dynamic techniques
J Tschannen, CA Furia, M Nordio, B Meyer
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
592011
What good are strong specifications?
N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer
2013 35th international conference on software engineering (icse), 262-271, 2013
572013
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings
D Marcilio, CA Furia, R Bonifácio, G Pinto
Journal of Systems and Software 168, 110671, 2020
542020
Automatic verification of advanced object-oriented features: The AutoProof approach
J Tschannen, CA Furia, M Nordio, B Meyer
LASER Summer School on Software Engineering, 133-155, 2011
53*2011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20