Kathrin Kaschner

According to our database, Kathrin Kaschner authored at least 9 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2015

Behavioral testing of services.

Kathrin Kaschner

PhD thesis, 2015

2011

Conformance Testing for Asynchronously Communicating Services.

Kathrin Kaschner

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

2010

Safira: Implementing set algebra for service behavior.

Kathrin Kaschner

Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010

Managing Test Suites for Services.

Kathrin Kaschner

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010

2009

Does my service have unspecified behavior?

Kathrin Kaschner, Niels Lohmann

Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009

Set Algebra for Service Behavior: Applications and Constructions.

Kathrin Kaschner, Karsten Wolf

Proceedings of the Business Process Management, 7th International Conference, 2009

2008

Automatic Test Case Generation for Interacting Services.

Kathrin Kaschner, Niels Lohmann

Proceedings of the Service-Oriented Computing - ICSOC 2008 Workshops, 2008

2007

Challenges in a Service-Oriented World.

Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl

ERCIM News, 2007

2006

Analysis Techniques for Service Models.

Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner

Proceedings of the Leveraging Applications of Formal Methods, 2006