Marco Piccioni

13 papers A* 1A 1B 3Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Do AI models help produce verified bug fixes?
CoRR
Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer
2015 B conf
An Incremental Hint System For Automated Programming Assignments.
ITiCSE
Paolo Antonucci, H.-Christian Estler, Durica Nikolic, Marco Piccioni, Bertrand Meyer
2014 B conf
Contracts in Practice.
FM
H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
2014 B conf
SPOC-supported introduction to programming.
ITiCSE
Marco Piccioni, H.-Christian Estler, Bertrand Meyer
2013 A conf
An Empirical Study of API Usability.
ESEM
Marco Piccioni, Carlo A. Furia, Bertrand Meyer
2013 J jnl
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support.
IEEE Trans. Software Eng.
Marco Piccioni, Manuel Oriol, Bertrand Meyer
2012 — —
A Seamless Framework for Object-Oriented Persistence in Presence of Class Schema Evolution.
Marco Piccioni
2012 J jnl
How Specifications Change and Why You Should Care
CoRR
H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011 J jnl
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support
CoRR
Marco Piccioni, Manuel Oriol, Bertrand Meyer
2009 A* conf
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software.
ASE
Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider
2008 — conf
Eiffel for .NET Binding for db4o.
ICOODB
Ruihua Jin, Marco Piccioni
2008 — conf
The Allure and Risks of a Deployable Software Engineering Project: Experiences with Both Local and Distributed Development.
CSEE&T
Bertrand Meyer, Marco Piccioni
2007 — conf
IDE-integrated Support for Schema Evolution in Object-Oriented Applications.
RAM-SE
Marco Piccioni, Manuel Oriol, Bertrand Meyer