| Verifix: Verified Repair of Programming Assignments | 0 | 0.34 | 2022 |
| Mining plausible hypotheses from the literature via meta-analysis | 0 | 0.34 | 2019 |
| An Open-Source Software Metric Tool for Defect Prediction, Its Case Study and Lessons We Learned. | 0 | 0.34 | 2018 |
| Precooked developer dashboards: what to show and how to use. | 0 | 0.34 | 2018 |
| On the Time Performance of Automated Fixes. | 0 | 0.34 | 2018 |
| A new architecture and implementation strategy for non-invasive software measurement systems. | 0 | 0.34 | 2018 |
| Understanding the impact of pair programming on the minds of developers. | 1 | 0.37 | 2018 |
| Design and validation of precooked developer dashboards. | 0 | 0.34 | 2018 |
| A correlation study between automated program repair and test-suite metrics | 6 | 0.39 | 2018 |
| Comparison of Agile, Quasi-Agile and Traditional Methodologies. | 0 | 0.34 | 2018 |
| Codeflaws: a programming competition benchmark for evaluating automated program repair tools. | 18 | 0.72 | 2017 |
| What do software engineers care about? gaps between research and practice | 9 | 0.56 | 2017 |
| A feasibility study of using automated program repair for introductory programming assignments | 8 | 0.47 | 2017 |
| Towards Non-invasive Software Measurement System: Architecture and Implementation | 0 | 0.34 | 2016 |
| Angelix: scalable multiline program patch synthesis via symbolic analysis. | 115 | 2.04 | 2016 |
| DirectFix: looking for simple program repairs | 93 | 1.84 | 2015 |
| Software Change Contracts | 0 | 0.34 | 2015 |
| Dynamic Inference of Change Contracts | 4 | 0.38 | 2014 |
| The Java Modeling Language (JML) (NII Shonan Meeting 2013-3). | 0 | 0.34 | 2013 |
| Expressing and checking intended changes via software change contracts | 8 | 0.46 | 2013 |
| Past expression: encapsulating pre-states at post-conditions by means of AOP | 1 | 0.37 | 2013 |
| A Case For Dynamic Reverse-Code Generation To Debug Non-Deterministic Programs | 0 | 0.34 | 2013 |
| Software change contracts | 3 | 0.40 | 2012 |
