Christoph Schulze

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 5

Top Topics

Application Programming Interface

Model Based Testing

Security Policies

Static Analysis

Top Venues

ACM Trans. Embed. Comput. Syst.

ISSRE (Supplemental Proceedings)

Innov. Syst. Softw. Eng.

University of Maryland, College Park, MD, USA (PHD)

Education History

University of Maryland, College Park, MD, USA

PHD

Publications

Christoph Schulze, Rance Cleaveland, Mikael Lindvall
Automated Specification Extraction and Analysis with Specstractor. SEFM (2018)
Christoph Schulze, Rance Cleaveland
Improving Invariant Mining via Static Analysis. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Mikael Lindvall, Adam Porter, Gudjon Magnusson, Christoph Schulze
Metamorphic Model-Based Testing of Autonomous Systems. MET@ICSE (2017)
Vignir Gudmundsson, Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Robert Wiegand
Model-based testing of NASA's GMSEC, a reusable framework for ground system software. Innov. Syst. Softw. Eng. 11 (3) (2015)
Christoph Schulze, Mikael Lindvall, Sigurthor Bjorgvinsson, Robert Wiegand
Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report. ISSRE (2015)
Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Daniel Goldman
Assessing model-based testing: an empirical study conducted in industry. ICSE Companion (2014)
Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Dave Mcf Omas, Alan Cudmore
Model-based testing of NASA's OSAL API - An experience report. ISSRE (2013)
Vignir Gudmundsson, Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Robert Wiegand
An initial evaluation of model-based testing. ISSRE (Supplemental Proceedings) (2013)