On the Correspondence between Conformance Testing and Regular Inference
| Title | On the Correspondence between Conformance Testing and Regular Inference |
| Publication Type | Conference Paper |
| Year of Publication | 2005 |
| Authors | Berg, T, Grinchtein, O, Jonsson, B, Leucker, M, Raffelt, H, Steffen, B |
| Editor | Cerioli, M |
| Conference Name | Fundamental Approaches to Software Engineering, FASE'05 |
| Series | Lecture Notes in Computer Science |
| Volume | 3442 |
| Publisher | Springer |
Bibtex:
@inproceedings {BergGJLRS05,
title = {On the Correspondence between Conformance Testing and Regular Inference},
booktitle = {Fundamental Approaches to Software Engineering, FASE{\textquoteright}05},
series = {Lecture Notes in Computer Science},
volume = {3442},
year = {2005},
pages = {175{\textendash}189},
publisher = {Springer},
organization = {Springer},
author = {Therese Berg and Olga Grinchtein and Bengt Jonsson and Martin Leucker and Harald Raffelt and Bernhard Steffen},
editor = {Maura Cerioli}
}Postscript:
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Christopher Walther
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Mahdi Pourghasem
- Manuel Herbst
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact