We stand with Ukraine  

Christoph Schulze

Affiliations:
  • Fraunhofer Center for Experimental Software Engineering, (CESE), College Park, USA
  • University of Maryland, Department of Computer Science, College Park, USA (PhD 2017)


According to our database1, Christoph Schulze authored at least 9 papers between 2013 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Automated Specification Extraction and Analysis with Specstractor.
[BibTeX]
[DOI]
Christoph Schulze
,
Rance Cleaveland
,
Mikael Lindvall
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017
Model-Based Testing of Off-Nominal Behaviors.
[BibTeX]
[DOI]
Christoph Schulze
PhD thesis, 2017

Improving Invariant Mining via Static Analysis.
[BibTeX]
[DOI]
Christoph Schulze
,
Rance Cleaveland
ACM Trans. Embed. Comput. Syst., 2017

Metamorphic Model-Based Testing of Autonomous Systems.
[BibTeX]
[DOI]
Mikael Lindvall
,
Adam A. Porter
,
Gudjon Magnusson
,
Christoph Schulze
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2015
Model-based testing of NASA's GMSEC, a reusable framework for ground system software.
[BibTeX]
[DOI]
Vignir Gudmundsson
,
Christoph Schulze
,
Dharmalingam Ganesan
,
Mikael Lindvall
,
Robert Wiegand
Innov. Syst. Softw. Eng., 2015

Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report.
[BibTeX]
[DOI]
Christoph Schulze
,
Mikael Lindvall
,
Sigurthor Bjorgvinsson
,
Robert Wiegand
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014
Assessing model-based testing: an empirical study conducted in industry.
[BibTeX]
[DOI]
Christoph Schulze
,
Dharmalingam Ganesan
,
Mikael Lindvall
,
Rance Cleaveland
,
Daniel Goldman
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Model-based testing of NASA's OSAL API - An experience report.
[BibTeX]
[DOI]
Christoph Schulze
,
Dharmalingam Ganesan
,
Mikael Lindvall
,
Dave Mcf Omas
,
Alan Cudmore
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

An initial evaluation of model-based testing.
[BibTeX]
[DOI]
Vignir Gudmundsson
,
Christoph Schulze
,
Dharmalingam Ganesan
,
Mikael Lindvall
,
Robert Wiegand
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013


  Loading...