Number of items: 6.
Conference or Workshop Item (A Paper)
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.
Wang, Jiawei and Li, Li and Zeller, Andreas
(2021)
Restoring Execution Environments of Jupyter Notebooks.
Article
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.
This list was generated on Tue Oct 15 13:13:49 2024 CEST.