@inproceedings{FuchsVH2018ImprovingIntegration,
  author = {Andreas Fuchs and Vincent {von Hof}},
  title = {Improving Integration Testing of Web Service by Propagating Symbolic Constraint Test Artifacts Spanning Multiple Software Projects},
  booktitle = {Proceedings of the The 30$^{th}$ International Conference on Software Engineering & Knowledge Engineering},
  year = {2018},
  address = {Redwood City, San Francisco Bay, California, USA},
  note = {Publication status: Published}
}

@inproceedings{FuchsVHN2018Leveraging,
  author = {Andreas Fuchs and Vincent {von Hof} and Matthias Neugebauer},
  title = {Leveraging Distributed Unit Test Case Execution for Java for Improving the Testing Process},
  booktitle = {Proceedings of the The 17$^{th}$ International Conference on Intelligent Software Methodologies, Tools, and Techniques},
  year = {2018},
  address = {Granada, Spain},
  note = {Publication status: Published}
}

@inproceedings{VonHofF2018AutomaticScalable,
  author = {Vincent {von Hof} and Andreas Fuchs},
  title = {Automatic scalable distributed test case execution. Introducing the Muenster DiStributed Test Case Runner for Java (MiDSTR)},
  booktitle = {Proceedings of the The 33$^{rd}$ ACM/SIGAPP Symposium On Applied Computing},
  year = {2018},
  address = {Pau, France},
  note = {Publication status: Published}
}

@inproceedings{Von2017Leveraging,
  author = {Hof V Von},
  title = {Leveraging Test Case Generation in the Testing Process --- An Integration of Human Oracles with Derived Oracles},
  booktitle = {New Trends in Intelligent Software Methodologies, Tools and Techniques},
  pages = {480--489},
  series = {Frontiers in Artificial Intelligence and Applications},
  volume = {297},
  editor = {H Fujita and A Selamat and S Omatu},
  year = {2017},
  publisher = {IOS Press},
  address = {Amsterdam, Niederlande},
  isbn = {978-1-61499-799-3},
  doi = {10.3233/978-1-61499-800-6-480},
  url = {http://ebooks.iospress.nl/volume/new-trends-in-intelligent-software-methodologies-tools-and-techniques-proceedings-of-the-16$^{th}$-international-conference-somet-17},
  note = {Publication status: Published}
}

@inproceedings{VonHofFK2017DetectingSpring,
  author = {V {von Hof} and K Fögen and H Kuchen},
  title = {Detecting Spring Configurations Errors},
  booktitle = {SAC '17 Proceedings of the Symposium on Applied Computing},
  editor = {Sung Y. Shin and Dongwan Shin and Maria Lencastre},
  year = {2017},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-4486-9},
  note = {Publication status: Published}
}

@inproceedings{WredeVH2017EnablingEfficient,
  author = {Fabian Wrede and Vincent {von Hof}},
  title = {Enabling Efficient Use of Algorithmic Skeletons in Cloud
Environments: Container-based Virtualization for Hybrid CPU-GPU Execution
of Data-parallel Skeletons},
  booktitle = {SAC '17 Proceedings of the Symposium on Applied Computing},
  pages = {1593--1596},
  editor = {Sung Y. Shin and Dongwan Shin and Maria Lencastre},
  year = {2017},
  publisher = {ACM},
  address = {New York, NY, USA},
  isbn = {978-1-4503-4486-9},
  doi = {10.1145/3019612.3019894},
  url = {http://dl.acm.org/citation.cfm?id=3019894},
  note = {Publication status: Published}
}

@inproceedings{VonFK2016CompilezeitPruefung,
  author = {Hof V Von and K Fögen and H Kuchen},
  title = {Compilezeit-Prüfung von Spring-Konfigurationen},
  booktitle = {Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 --- Workshops of the Conference on Software Engineering, SE-WS 2016},
  pages = {96--108},
  series = {Workshops of the Conference on Software Engineering},
  volume = {1559},
  year = {2016},
  publisher = {CEUR-WS},
  address = {Wien, Österreich},
  issn = {1613-0073},
  url = {https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84964200291&origin=inward},
  note = {Publication status: Published}
}

@article{CaballeroMKVH2016Falsification,
  author = {R Caballero and M Montenegro and H Kuchen and V {von Hof}},
  title = {Falsification of Java Assertions Using Automatic Test-Case Generators},
  journal = {International Journal On Advances in Systems and Measurements},
  year = {2016},
  volume = {2016},
  number = {9},
  pages = {177--187},
  note = {Publication status: Published}
}

@techreport{CaballeroVMK2016AProgramTransformation,
  author = {R Caballero and Hof V Von and M Montenegro and H Kuchen},
  title = {A Program Transformation for Converting Java Assertions into Control-flow Statements},
  institution = {},
  series = {ERCIS Working Papers},
  number = {25},
  volume = {25},
  editor = {J Becker and K Backhaus and M Dugas and B Hellingrath and T Hoeren and S Klein and H Kuchen and H Trautmann and G Vossen},
  year = {2016},
  note = {Publication status: Published}
}

@techreport{FoegenVK2016Attributed,
  author = {K Fögen and Hof V Von and H Kuchen},
  title = {Attributed Grammars for Detecting Spring Configuration Errors},
  institution = {European Research Center for Information Systems},
  series = {ERCIS Working Papers},
  number = {26},
  volume = {26},
  editor = {J Becker and K Backhaus and M Dugas and B Hellingrath and T Hoeren and S Klein and H Kuchen and H Trautmann and G Vossen},
  year = {2016},
  address = {Münster},
  note = {Publication status: Published}
}

@inproceedings{CaballeroMKVH2015CheckingJava,
  author = {R Caballero and M Montenegro and H Kuchen and V {von Hof}},
  title = {Checking Java Assertions Using Automated Test-Case Generation},
  booktitle = {Proceedings of the 25$^{th}$ International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015},
  pages = {221--226},
  series = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
  volume = {9527},
  year = {2015},
  publisher = {Springer Verlag},
  address = {Sienna, Italien},
  isbn = {9783319274355},
  issn = {0302-9743},
  doi = {10.1007/978-3-319-27436-2_13},
  url = {https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84983158566&origin=inward},
  note = {Publication status: Published}
}

@inproceedings{CaballeroMKVH2015AutomaticFalsification,
  author = {R Caballero and M Montenegro and H Kuchen and V {von Hof}},
  title = {Automatic Falsification of Java Assertions},
  booktitle = {Proceedings of the VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle},
  year = {2015},
  address = {Barcelona, Spain},
  note = {Publication status: Published}
}