Cited By
View all- Pailoor SWang YDillig I(2024)Semantic Code Refactoring for Abstract Data TypesProceedings of the ACM on Programming Languages10.1145/36328708:POPL(816-847)Online publication date: 5-Jan-2024
- Boockmann JLüttgen G(2024)Comprehending Object State via Dynamic Class Invariant LearningFundamental Approaches to Software Engineering10.1007/978-3-031-57259-3_7(143-164)Online publication date: 6-Apr-2024
- Cook VPeterson CPainter ZDechev D(2022)Quantifiability: a concurrent correctness condition modeled in vector spaceComputing10.1007/s00607-022-01092-3105:5(955-978)Online publication date: 7-Jun-2022
- Show More Cited By