Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
17 Publications
2023 | Dissertation | LibreCat-ID: 47833
J. König, On the Membership and Correctness Problem for State Serializability and Value Opacity. 2023.
LibreCat
2021 | Mastersthesis | LibreCat-ID: 22304 | 
S. Schott, Android App Analysis Benchmark Case Generation. Paderborn, 2021.
LibreCat
| Files available
2020 | Bachelorsthesis | LibreCat-ID: 19999
S. Mayer, Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn, 2020.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 7623
S. Zhang, Combining Android Apps for Analysis Purposes. Universität Paderborn, 2019.
LibreCat
2019 | Mastersthesis | LibreCat-ID: 12885
J. F. Haltermann, Analyzing Data Usage in Array Programs. 2019.
LibreCat
| Files available
2019 | Mastersthesis | LibreCat-ID: 10105
J. Haltermann, Analyzing Data Usage in Array Programs. Universität Paderborn, 2019.
LibreCat
2018 | Bachelorsthesis | LibreCat-ID: 3320
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn, 2018.
LibreCat
2017 | Mastersthesis | LibreCat-ID: 3512
P. Börding, Testing Java Method Contracts. Universität Paderborn, 2017.
LibreCat