Carlo A. Furia
Carlo A. Furia
USI Università della Svizzera Italiana
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα usi.ch - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Automated fixing of programs with contracts
Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller
Proceedings of the 19th international symposium on Software testing and …, 2010
2622010
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
1142015
Agile vs. structured distributed software development: A case study
HC Estler, M Nordio, CA Furia, B Meyer, J Schneider
Empirical Software Engineering 19 (5), 1197-1224, 2014
1122014
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
1092014
Inferring better contracts
Y Wei, CA Furia, N Kazmin, B Meyer
Proceedings of the 33rd International Conference on Software Engineering …, 2011
912011
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
872014
An empirical study of API usability
M Piccioni, CA Furia, B Meyer
2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013
862013
Inferring loop invariants using postconditions
CA Furia, B Meyer
Fields of logic and computation, 277-300, 2010
822010
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
722010
Modeling time in computing
CA Furia, D Mandrioli, A Morzenti, M Rossi
Springer Science & Business Media, 2012
682012
Contract-based program repair without the contracts
L Chen, Y Pei, CA Furia
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
632017
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
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
512013
Loop invariants: Analysis, classification, and examples
CA Furia, B Meyer, S Velder
ACM Computing Surveys (CSUR) 46 (3), 1-51, 2014
492014
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
49*2011
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
47*2013
Usable verification of object-oriented programs by combining static and dynamic techniques
J Tschannen, CA Furia, M Nordio, B Meyer
International Conference on Software Engineering and Formal Methods, 382-398, 2011
462011
Flexible invariants through semantic collaboration
N Polikarpova, J Tschannen, CA Furia, B Meyer
International Symposium on Formal Methods (FM) 8442, 514–530, 2013
362013
Contracts in practice
HC Estler, CA Furia, M Nordio, M Piccioni, B Meyer
International Symposium on Formal Methods, 230-246, 2014
352014
Specifying reusable components
N Polikarpova, CA Furia, B Meyer
International Conference on Verified Software: Theories, Tools, and …, 2010
352010
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20