BibTeX records: Baris Güldali

download as .bib file

@article{DBLP:journals/stt/SokenouFGFWB22,
  author       = {Dehla Sokenou and
                  Mario Friske and
                  Baris G{\"{u}}ldali and
                  David Farag{\'{o}} and
                  Mario Winter and
                  Bettina Buth},
  title        = {Bericht: Treffen der GI-Fachgruppe Test, Analyse und Verifikation
                  von Software {(TAV} 47), 3. - 4. November 2022, M{\"{u}}nchen},
  journal      = {Softwaretechnik-Trends},
  volume       = {42},
  number       = {4},
  pages        = {8--11},
  year         = {2022},
  url          = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_42\_Heft\_4/0\_TAV\_STT\_Bericht\_TAV47.pdf},
  timestamp    = {Tue, 12 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stt/SokenouFGFWB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SokenouFGFWR21,
  author       = {Dehla Sokenou and
                  Mario Friske and
                  Baris G{\"{u}}ldali and
                  David Farag{\'{o}} and
                  Mario Winter and
                  Wilhelm Ruckdeschel},
  editor       = {Gesellschaft f{\"{u}}r Informatik},
  title        = {{TAV-2021:} Herausforderungen beim Testen moderner Softwaresysteme},
  booktitle    = {51. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, {INFORMATIK}
                  2021 - Computer Science {\&} Sustainability, Berlin, Germany,
                  27. September - 1. Oktober, 2021},
  series       = {{LNI}},
  volume       = {{P-314}},
  pages        = {1809--1812},
  publisher    = {Gesellschaft f{\"{u}}r Informatik, Bonn},
  year         = {2021},
  url          = {https://doi.org/10.18420/informatik2021-158},
  doi          = {10.18420/INFORMATIK2021-158},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/SokenouFGFWR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Fazal-BaqaieGO17,
  author       = {Masud Fazal{-}Baqaie and
                  Baris G{\"{u}}ldali and
                  Simon Oberth{\"{u}}r},
  editor       = {Stephan Krusche and
                  Horst Lichter and
                  Dirk Riehle and
                  Andreas Steffens},
  title        = {Towards DevOps in Multi-provider Projects},
  booktitle    = {Proceedings of the 2nd Workshop on Continuous Software Engineering
                  co-located with Software Engineering {(SE} 2017), Hannover, Germany,
                  February 20, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1806},
  pages        = {18--21},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1806/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:19 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Fazal-BaqaieGO17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vorgehensmodelle/Fazal-BaqaieGS17,
  author       = {Masud Fazal{-}Baqaie and
                  Baris G{\"{u}}ldali and
                  Steffen Sauer},
  editor       = {Alexander Volland and
                  Martin Engstler and
                  Masud Fazal{-}Baqaie and
                  Eckhart Hanser and
                  Oliver Linssen and
                  Martin Mikusz},
  title        = {Softwareprozessverbesserung in der Praxis},
  booktitle    = {Projektmanagement und Vorgehensmodelle 2017: Die Spannung zwischen
                  dem Prozess und den Menschen im Projekt : gemeinsame Tagung der Fachgruppen
                  Projektmanagement {(WI-PM)} und Vorgehensmodelle {(WI-VM)} im Fachgebiet
                  Wirtschaftsinformatik der Gesellschaft f{\"{u}}r Informatik e.V.
                  in Kooperation mit der Fachgruppe IT-Projektmanagement der {GPM} e.V.:
                  5. und 6. Oktober 2017 in Darmstadt},
  series       = {{LNI}},
  volume       = {{P-276}},
  pages        = {129--144},
  publisher    = {{GI}},
  year         = {2017},
  url          = {https://dl.gi.de/handle/20.500.12116/4887},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vorgehensmodelle/Fazal-BaqaieGS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/JovanovikjGG16,
  author       = {Ivan Jovanovikj and
                  Baris G{\"{u}}ldali and
                  Marvin Grieger},
  title        = {Towards Applying Model-based Testing in Test Case Migration},
  journal      = {Softwaretechnik-Trends},
  volume       = {36},
  number       = {3},
  year         = {2016},
  url          = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_36\_Heft\_3/TAV392016\_TOOPJovanovikjGueldaliAKMBTTOOP2016.pdf},
  timestamp    = {Wed, 13 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stt/JovanovikjGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/JovanovikjGGT16,
  author       = {Ivan Jovanovikj and
                  Marvin Grieger and
                  Baris G{\"{u}}ldali and
                  Alexander Teetz},
  title        = {Reengineering of Legacy Test Cases: Problem Domain {\&} Scenarios},
  journal      = {Softwaretechnik-Trends},
  volume       = {36},
  number       = {3},
  year         = {2016},
  url          = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_36\_Heft\_3/MMSM2016\_02\_Jovanovikj\_et\_al.pdf},
  timestamp    = {Wed, 13 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/stt/JovanovikjGGT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vorgehensmodelle/Fazal-BaqaieGG16,
  author       = {Masud Fazal{-}Baqaie and
                  Baris G{\"{u}}ldali and
                  Marvin Grieger},
  editor       = {Martin Engstler and
                  Masud Fazal{-}Baqaie and
                  Eckhart Hanser and
                  Oliver Linssen and
                  Martin Mikusz and
                  Alexander Volland},
  title        = {Ganzheitliches Qualit{\"{a}}tsmanagement in agilen Gro{\ss}-Projekten},
  booktitle    = {Projektmanagement und Vorgehensmodelle 2016: Arbeiten in hybriden
                  Projekten: Das Sowohl-als-auch von Stabilit{\"{a}}t und Dynamik,
                  Gemeinsame Tagung der Fachgruppen Projektmanagement {(WI-PM)} und
                  Vorgehensmodelle {(WI-VM)} im Fachgebiet Wirtschaftsinformatik der
                  Gesellschaft f{\"{u}}r Informatik e.V., Paderborn, 6.-7. Oktober
                  2016},
  series       = {{LNI}},
  volume       = {{P-263}},
  pages        = {109--120},
  publisher    = {{GI}},
  year         = {2016},
  url          = {https://dl.gi.de/handle/20.500.12116/575},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vorgehensmodelle/Fazal-BaqaieGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Guldali15,
  author       = {Baris G{\"{u}}ldali},
  title        = {Integrating contract-based testing into model-driven software development},
  school       = {University of Paderborn},
  year         = {2015},
  url          = {https://nbn-resolving.org/urn:nbn:de:hbz:466:2-16433},
  urn          = {urn:nbn:de:hbz:466:2-16433},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Guldali15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/GuldaliRTFR15,
  author       = {Baris G{\"{u}}ldali and
                  Mirko Rose and
                  Alexander Teetz and
                  Stephan Flake and
                  Carsten Rust},
  title        = {Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur
                  f{\"{u}}r Elektromobilit{\"{a}}t},
  journal      = {Softwaretechnik-Trends},
  volume       = {35},
  number       = {1},
  year         = {2015},
  url          = {http://pi.informatik.uni-siegen.de/stt/35\_1/01\_Fachgruppenberichte/TAV/5\_SmartEM-Testen\_Final.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/GuldaliRTFR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BrandesEFFGP15,
  author       = {Christian Brandes and
                  Benedikt Eberhardinger and
                  David Farag{\'{o}} and
                  Mario Friske and
                  Baris G{\"{u}}ldali and
                  Andrej Pietschker},
  title        = {Drei Methoden, ein Ziel: Testautomatisierung mit BDD, {MBT} und {KDT}
                  im Vergleich},
  journal      = {Softwaretechnik-Trends},
  volume       = {35},
  number       = {3},
  year         = {2015},
  url          = {http://pi.informatik.uni-siegen.de/stt/35\_3/01\_Fachgruppenberichte/1\_paper\_6.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/BrandesEFFGP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2014jamaica,
  editor       = {Christof J. Budnik and
                  Gabriella Carrozza and
                  David Farag{\'{o}} and
                  Baris G{\"{u}}ldali and
                  Barath Kumar and
                  Vittorio Manetti and
                  Roberto Pietrantuono and
                  Stephan Wei{\ss}leder},
  title        = {Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry
                  Contributions to Test Automation and Model-Based Testing, JAMAICA@ISSTA
                  2014, San Jose, CA, USA, July 21, 2014},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2631890},
  doi          = {10.1145/2631890},
  isbn         = {978-1-4503-2933-0},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/2014jamaica.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BouillonGHKMR13,
  author       = {Elke Bouillon and
                  Baris G{\"{u}}ldali and
                  Andrea Herrmann and
                  Thorsten Keuler and
                  Daniel Moldt and
                  Matthias Riebisch},
  title        = {Leichtgewichtige Traceability im agilen Entwicklungsprozess am Beispiel
                  von Scrum},
  journal      = {Softwaretechnik-Trends},
  volume       = {33},
  number       = {1},
  year         = {2013},
  url          = {http://pi.informatik.uni-siegen.de/stt/33\_1/01\_Fachgruppenberichte/RE\_FG-Treffen/14\_bouillon.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/BouillonGHKMR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchumacherGENH13,
  author       = {Claudia Schumacher and
                  Baris G{\"{u}}ldali and
                  Gregor Engels and
                  Markus Niehammer and
                  Matthias Hamburg},
  editor       = {Stefan Kowalewski and
                  Bernhard Rumpe},
  title        = {Modellbasierte Bewertung von Testprozessen nach {TPI} {NEXT} mit Gesch{\"{a}}ftsprozess-Mustern},
  booktitle    = {Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik,
                  26. Februar - 2. M{\"{a}}rz 2013 in Aachen},
  series       = {{LNI}},
  volume       = {{P-213}},
  pages        = {331--334},
  publisher    = {{GI}},
  year         = {2013},
  url          = {https://dl.gi.de/handle/20.500.12116/17715},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/SchumacherGENH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/MlynarskiGWE12,
  author       = {Michael Mlynarski and
                  Baris G{\"{u}}ldali and
                  Stephan Wei{\ss}leder and
                  Gregor Engels},
  title        = {Model-Based Testing: Achievements and Future Challenges},
  journal      = {Adv. Comput.},
  volume       = {86},
  pages        = {1--39},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-12-396535-6.00001-6},
  doi          = {10.1016/B978-0-12-396535-6.00001-6},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ac/MlynarskiGWE12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/GriegerGS12,
  author       = {Marvin Grieger and
                  Baris G{\"{u}}ldali and
                  Stefan Sauer},
  title        = {Sichern der Zukunftsf{\"{a}}higkeit bei der Migration von Legacy-Systemen
                  durch modellgetriebene Softwareentwicklung},
  journal      = {Softwaretechnik-Trends},
  volume       = {32},
  number       = {2},
  year         = {2012},
  url          = {http://pi.informatik.uni-siegen.de/stt/32\_2/01\_Fachgruppenberichte/SRE\_TAV/11-grieger.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/GriegerGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/GuldaliSL12,
  author       = {Baris G{\"{u}}ldali and
                  Stefan Sauer and
                  Perdita L{\"{o}}hr},
  title        = {Entwicklung eines Softwarewerkzeugs f{\"{u}}r die modell-getriebene
                  Migration betrieblicher Informationssysteme},
  journal      = {Softwaretechnik-Trends},
  volume       = {32},
  number       = {2},
  year         = {2012},
  url          = {http://pi.informatik.uni-siegen.de/stt/32\_2/01\_Fachgruppenberichte/OOSE\_SWA/03\_Gueldali-Sauer-Loehr-MMSM2012.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/GuldaliSL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/GuldaliFSE11,
  author       = {Baris G{\"{u}}ldali and
                  Holger Funke and
                  Stefan Sauer and
                  Gregor Engels},
  title        = {{TORC:} test plan optimization by requirements clustering},
  journal      = {Softw. Qual. J.},
  volume       = {19},
  number       = {4},
  pages        = {771--799},
  year         = {2011},
  url          = {https://doi.org/10.1007/s11219-011-9149-4},
  doi          = {10.1007/S11219-011-9149-4},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sqj/GuldaliFSE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BeulenGM10,
  author       = {Dominik Beulen and
                  Baris G{\"{u}}ldali and
                  Michael Mlynarski},
  title        = {Tabellarischer Vergleich von Prozessmodellen f{\"{u}}r modellbasiertes
                  Testen aus Managementsicht},
  journal      = {Softwaretechnik-Trends},
  volume       = {30},
  number       = {2},
  year         = {2010},
  url          = {http://pi.informatik.uni-siegen.de/stt/30\_2/01\_Fachgruppenberichte/TAV/TAV29P02GueldaliFinal.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/BeulenGM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/LofflerGG10,
  author       = {Renate L{\"{o}}ffler and
                  Baris G{\"{u}}ldali and
                  Silke Geisen},
  title        = {Towards Model-based Acceptance Testing for Scrum},
  journal      = {Softwaretechnik-Trends},
  volume       = {30},
  number       = {3},
  year         = {2010},
  url          = {http://pi.informatik.uni-siegen.de/stt/30\_3/01\_Fachgruppenberichte/TAV/03\_TAV30PapierLoeffler.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/LofflerGG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/SchnelteG10,
  author       = {Matthias Schnelte and
                  Baris G{\"{u}}ldali},
  editor       = {Klaus{-}Peter F{\"{a}}hnrich and
                  Bogdan Franczyk},
  title        = {Test Case Generation for Visual Contracts Using {AI} Planning},
  booktitle    = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
                  Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
                  2010, Leipzig, Germany, September 27 - October 1, 2010, Band 2},
  series       = {{LNI}},
  volume       = {{P-176}},
  pages        = {369--374},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/19420},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/SchnelteG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GuldaliSWFJ10,
  author       = {Baris G{\"{u}}ldali and
                  Stefan Sauer and
                  Peter Winkelhane and
                  Holger Funke and
                  Michael Jahnich},
  editor       = {Hong Zhu and
                  W. K. Chan and
                  Christof J. Budnik and
                  Gregory M. Kapfhammer},
  title        = {Pattern-based generation of test plans for open distributed processing
                  systems},
  booktitle    = {The 5th Workshop on Automation of Software Test, {AST} 2010, May 3-4,
                  2010, Cape Town, South Africa},
  pages        = {119--126},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1808266.1808284},
  doi          = {10.1145/1808266.1808284},
  timestamp    = {Thu, 30 Apr 2020 12:10:35 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/GuldaliSWFJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GuldaliMS10,
  author       = {Baris G{\"{u}}ldali and
                  Michael Mlynarski and
                  Yavuz Sancar},
  title        = {Effort Comparison for Model-Based Testing Scenarios},
  booktitle    = {Third International Conference on Software Testing, Verification and
                  Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
                  Proceedings},
  pages        = {28--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICSTW.2010.15},
  doi          = {10.1109/ICSTW.2010.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/GuldaliMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/GuldaliMWE09,
  author       = {Baris G{\"{u}}ldali and
                  Michael Mlynarski and
                  Andreas W{\"{u}}bbeke and
                  Gregor Engels},
  title        = {Model-Based System Testing Using Visual Contracts},
  booktitle    = {35th Euromicro Conference on Software Engineering and Advanced Applications,
                  {SEAA} 2009, Patras, Greece, August 27-29, 2009, Proceedings},
  pages        = {121--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SEAA.2009.42},
  doi          = {10.1109/SEAA.2009.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/GuldaliMWE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GuldaliFJSE09,
  author       = {Baris G{\"{u}}ldali and
                  Holger Funke and
                  Michael Jahnich and
                  Stefan Sauer and
                  Gregor Engels},
  title        = {Semi-automated Test Planning for e-ID Systems by Using Requirements
                  Clustering},
  booktitle    = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
                  Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  pages        = {29--39},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ASE.2009.86},
  doi          = {10.1109/ASE.2009.86},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/GuldaliFJSE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MlynarskiGSE09,
  author       = {Michael Mlynarski and
                  Baris G{\"{u}}ldali and
                  Melanie Sp{\"{a}}th and
                  Gregor Engels},
  editor       = {Levi L{\'{u}}cio and
                  Stephan Wei{\ss}leder},
  title        = {From design models to test models by means of test ideas},
  booktitle    = {Proceedings of the 6th International Workshop on Model-Driven Engineering,
                  Verification and Validation, MoDeVVa '09, Denver, Colorado, USA, October
                  5, 2009},
  pages        = {7:1--7:10},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1656485.1656492},
  doi          = {10.1145/1656485.1656492},
  timestamp    = {Tue, 11 Jan 2022 20:57:25 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MlynarskiGSE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/EngelsGS08,
  author       = {Gregor Engels and
                  Baris G{\"{u}}ldali and
                  Stefan Sauer},
  title        = {Formalisierung der funktionalen Anforderungen mit visuellen Kontrakten
                  und deren Einsatz f{\"{u}}r modellbasiertes Testen},
  journal      = {Softwaretechnik-Trends},
  volume       = {28},
  number       = {3},
  year         = {2008},
  url          = {http://pi.informatik.uni-siegen.de/stt/28\_3/01\_Fachgruppenberichte/TAV/07\_TAV27P6Gueldali.pdf},
  timestamp    = {Tue, 23 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stt/EngelsGS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/EllerwegEG07,
  author       = {Jens Ellerweg and
                  Gregor Engels and
                  Baris G{\"{u}}ldali},
  editor       = {Heinz{-}Gerd Hegering and
                  Axel Lehmann and
                  Hans J{\"{u}}rgen Ohlbach and
                  Christian Scheideler},
  title        = {Modellbasierter Komponententest mit visuellen Kontrakten},
  booktitle    = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
                  Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
                  8-13, 2008, Band 1},
  series       = {{LNI}},
  volume       = {{P-133}},
  pages        = {211--214},
  publisher    = {{GI}},
  year         = {2008},
  url          = {https://dl.gi.de/handle/20.500.12116/21359},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/EllerwegEG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/EngelsGSW07,
  author       = {Gregor Engels and
                  Baris G{\"{u}}ldali and
                  Christian Soltenborn and
                  Heike Wehrheim},
  editor       = {Andy Sch{\"{u}}rr and
                  Manfred Nagl and
                  Albert Z{\"{u}}ndorf},
  title        = {Assuring Consistency of Business Process Models and Web Services Using
                  Visual Contracts},
  booktitle    = {Applications of Graph Transformations with Industrial Relevance, Third
                  International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
                  2007, Revised Selected and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5088},
  pages        = {17--31},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-89020-1\_2},
  doi          = {10.1007/978-3-540-89020-1\_2},
  timestamp    = {Thu, 14 Oct 2021 10:29:53 +0200},
  biburl       = {https://dblp.org/rec/conf/agtive/EngelsGSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/EngelsGL06,
  author       = {Gregor Engels and
                  Baris G{\"{u}}ldali and
                  Marc Lohmann},
  editor       = {Thomas K{\"{u}}hne},
  title        = {Towards Model-Driven Unit Testing},
  booktitle    = {Models in Software Engineering, Workshops and Symposia at MoDELS 2006,
                  Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4364},
  pages        = {182--192},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-69489-2\_23},
  doi          = {10.1007/978-3-540-69489-2\_23},
  timestamp    = {Wed, 23 Feb 2022 12:58:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/EngelsGL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/EngelsGLJR06,
  author       = {Gregor Engels and
                  Baris G{\"{u}}ldali and
                  Marc Lohmann and
                  Oliver Juwig and
                  Jan{-}Peter Richter},
  editor       = {Bettina Biel and
                  Matthias Book and
                  Volker Gruhn},
  title        = {Industrielle Fallstudie: Einsatz visueller Kontrakte in serviceorientierten
                  Architekturen},
  booktitle    = {Software Engineering 2006, Fachtagung des GI-Fachbereichs Softwaretechnik,
                  28.-31.3.2006 in Leipzig},
  series       = {{LNI}},
  volume       = {{P-79}},
  pages        = {111--122},
  publisher    = {{GI}},
  year         = {2006},
  url          = {https://dl.gi.de/handle/20.500.12116/24304},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/se/EngelsGLJR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/BelliG05,
  author       = {Fevzi Belli and
                  Baris G{\"{u}}ldali},
  editor       = {Moonis Ali and
                  Floriana Esposito},
  title        = {A Holistic Approach to Test-Driven Model Checking},
  booktitle    = {Innovations in Applied Artificial Intelligence, 18th International
                  Conference on Industrial and Engineering Applications of Artificial
                  Intelligence and Expert Systems, {IEA/AIE} 2005, Bari, Italy, June
                  22-24, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3533},
  pages        = {321--331},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11504894\_45},
  doi          = {10.1007/11504894\_45},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/ieaaie/BelliG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/BelliG04,
  author       = {Fevzi Belli and
                  Baris G{\"{u}}ldali},
  editor       = {Cevdet Aykanat and
                  Tugrul Dayar and
                  Ibrahim Korpeoglu},
  title        = {Software Testing via Model Checking},
  booktitle    = {Computer and Information Sciences - {ISCIS} 2004, 19th International
                  Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3280},
  pages        = {907--916},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30182-0\_91},
  doi          = {10.1007/978-3-540-30182-0\_91},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iscis/BelliG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics