• 2017

    Aufsatz (Konferenz)

    Von, H. V. (2017). Leveraging Test Case Generation in the Testing Process — An Integration of Human Oracles with Derived Oracles. In Fujita, H., Selamat, A., & Omatu, S. (Eds.), New Trends in Intelligent Software Methodologies, Tools and Techniques (pp. 480–489). Frontiers in Artificial Intelligence and Applications: Vol. 297. Amsterdam, Niederlande: IOS Press.
    Mehr Details BibTeX Gesamter Text DOI

    von Hof, V., Fögen, K., & Kuchen, H. (2017). Detecting Spring Configurations Errors. In Shin, S. Y., Shin, D., & Lencastre, M. (Eds.), SAC '17 Proceedings of the Symposium on Applied Computing. New York, NY, USA: ACM.
    Mehr Details BibTeX

    Wrede, F., & von Hof, V. (2017). Enabling Efficient Use of Algorithmic Skeletons in Cloud Environments: Container-based Virtualization for Hybrid CPU-GPU Execution of Data-parallel Skeletons. In Shin, S. Y., Shin, D., & Lencastre, M. (Eds.), SAC '17 Proceedings of the Symposium on Applied Computing (pp. 1593–1596). New York, NY, USA: ACM.
    Mehr Details BibTeX Gesamter Text DOI

  • 2016

    Aufsatz (Zeitschrift)

    Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2016). Falsification of Java Assertions Using Automatic Test-Case Generators. International Journal On Advances in Systems and Measurements, 2016(9), 177–187.
    Mehr Details BibTeX

    Aufsatz (Konferenz)

    Von, H. V., Fögen, K., & Kuchen, H. (2016). Compilezeit-Prüfung von Spring-Konfigurationen. In Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 — Workshops of the Conference on Software Engineering, SE-WS 2016, Wien, Österreich, 96–108.
    Mehr Details BibTeX Gesamter Text

    Bericht (Arbeits-, Forschungs-, Jahresbericht)

    Caballero, R., Von, H. V., Montenegro, M., & Kuchen, H. (2016). A Program Transformation for Converting Java Assertions into Control-flow Statements. In Becker, J., Backhaus, K., Dugas, M., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Trautmann, H., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 25.
    Mehr Details BibTeX

    Fögen, K., Von, H. V., & Kuchen, H. (2016). Attributed Grammars for Detecting Spring Configuration Errors. In Becker, J., Backhaus, K., Dugas, M., Hellingrath, B., Hoeren, T., Klein, S., Kuchen, H., Trautmann, H., & Vossen, G. (Eds.), ERCIS Working Papers: Vol. 26. Münster: European Research Center for Information Systems. (Accepted)
    Mehr Details BibTeX

  • 2015

    Aufsatz (Konferenz)

    Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2015). Checking Java Assertions Using Automated Test-Case Generation. In Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, Sienna, Italien, 221–226.
    Mehr Details BibTeX Gesamter Text DOI

    Caballero, R., Montenegro, M., Kuchen, H., & von Hof, V. (2015). Automatic Falsification of Java Assertions. In Proceedings of the VALID 2015: The Seventh International Conference on Advances in System Testing and Validation Lifecycle, Barcelona, Spain.
    Mehr Details BibTeX