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
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact