Jump to:
A |
G |
K |
S |
WNumber of items: 6.
A
Albert, Elvira and Hähnle, Reiner and Merayo, Alicia and Steinhöfel, Dominic
(2021)
Certified Abstract Cost Analysis.
G
Gopinath, Rahul and Nemati, Hamed and Zeller, Andreas
(2021)
Input Algebras.
K
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.
S
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.
W
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.