Number of items: 6.
Albert, Elvira and Hähnle, Reiner and Merayo, Alicia and Steinhöfel, Dominic
(2021)
Certified Abstract Cost Analysis.
Gopinath, Rahul and Nemati, Hamed and Zeller, Andreas
(2021)
Input Algebras.
Kuznetsov, Konstantin and Fu, Chen and Gao, Song and Jansen, David N. and Zhang, Lijun and Zeller, Andreas
(2021)
Frontmatter: Mining Android User Interfaces at Scale.
Scaletta, Marco and Hähnle, Reiner and Steinhöfel, Dominic and Bubel, Richard
(2021)
Delta-based Verification of Software Product Families.
Soremekun, Ezekiel and Kirschner, Lukas and Böhme, Marcel and Zeller, Andreas
(2021)
Locating Faults with Program Slicing: An Empirical Analysis.
Empirical Software Engineering, 26.
Wang, Jiawei and Li, Li and Zeller, Andreas
(2021)
Restoring Execution Environments of Jupyter Notebooks.
This list was generated on Sat Dec 21 13:16:34 2024 CET.