Pauck F. Cooperative Android App Analysis. Paderborn University; 2023. doi:10.17619/UNIPB/1-1698

König J. On the Membership and Correctness Problem for State Serializability and Value Opacity.; 2023.

Schott S. Android App Analysis Benchmark Case Generation. Paderborn; 2021.

Mayer S. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn; 2020.

Zhang S. Combining Android Apps for Analysis Purposes. Universität Paderborn; 2019.

Haltermann JF. Analyzing Data Usage in Array Programs.; 2019.

Haltermann J. Analyzing Data Usage in Array Programs. Universität Paderborn; 2019.

Rautenberg K. Korrektheitsbeweise für Muster von Servicekompositionen. Universität Paderborn; 2018.

Börding P. Testing Java Method Contracts. Universität Paderborn; 2017.

Walther S. Knowledge-Based Verification of Service Compositions. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-307