Cited By
View all- Cruz-Carlon JVarshosaz MLe Goues CWasowski A(2023)Patching Locking Bugs Statically with CrayonsACM Transactions on Software Engineering and Methodology10.1145/354868432:3(1-28)Online publication date: 26-Apr-2023
- Etemadi KHarrand NLarsén SAdzemovic HPhu HVerma AMadeiral FWikström DMonperrus M(2023)Sorald: Automatic Patch Suggestions for SonarQube Static Analysis ViolationsIEEE Transactions on Dependable and Secure Computing10.1109/TDSC.2022.316731620:4(2794-2810)Online publication date: 1-Jul-2023
- Garg ADegiovanni RMolina FCordy MAguirre NPapadakis MLe Traon Y(2023)Enabling Efficient Assertion Inference2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE59848.2023.00039(623-634)Online publication date: 9-Oct-2023
- Show More Cited By