Paper TestCov: Robust Test-Suite Execution and Coverage Measurement accepted for presentation at ASE 2019!

Publications about Benchmarking

(All PublicationsIndex)

Articles in journal or book chapters

  1. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Reliable Benchmarking: Requirements and Solutions.
    International Journal on Software Tools for Technology Transfer (STTT), 21(1):1--29, 2019.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking.
    [Abstract]
    DOI: 10.1007/s10009-017-0469-y
    Publication appeared first online in November 2017
    BenchExec is available at: https://github.com/sosy-lab/benchexec
    [bibtex-entry]

  2. Philipp Wendler.
    Beiträge zu praktikabler Prädikatenanalyse.
    In S. Hölldobler, editor, Ausgezeichnete Informatikdissertationen 2017, volume D-18 of LNI, pages 261-270.
    Gesellschaft für Informatik (GI), 2018.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking, CPAchecker, Software Model Checking.
    [Abstract]
    This is a German summary of the dissertation Towards Practical Predicate Analysis.
    [bibtex-entry]

Articles in conference or workshop proceedings

  1. Dirk Beyer, Stefan Löwe, and Philipp Wendler.
    Benchmarking and Resource Measurement.
    In B. Fischer and J. Geldenhuys, editors, Proceedings of the 22nd International Symposium on Model Checking of Software (SPIN 2015, Stellenbosch, South Africa, August 24-26), LNCS 9232, pages 160-178, 2015.
    Springer-Verlag, Heidelberg.
    [ Material ] [ Article ] Keyword(s): Benchmarking.
    [Abstract]
    An extended version of this article appeared in STTT.
    [bibtex-entry]

Theses (PhD, MSc, BSc, Project)

  1. Nils Steinger.
    Measuring, Visualizing, and Optimizing the Energy Consumption of Computer Clusters.
    Bachelor's Thesis, University of Passau, Software Systems Lab, 2017.
    [ Material ] [ Article ] Keyword(s): Benchmarking.
    [bibtex-entry]

  2. Philipp Wendler.
    Towards Practical Predicate Analysis.
    PhD Thesis, University of Passau, Software Systems Lab, 2017.
    [ Material ] [ Article ] [ Presentation ] Keyword(s): Benchmarking, CPAchecker, Software Model Checking.
    [bibtex-entry]

(All PublicationsIndex)



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.




Last modified: Mon Oct 14 19:50:35 2019


This document was translated from BibTEX by bibtex2html