Seite 1 von 116 Ergebnissen

Sortieren nach: Relevanz | Aktualität neu zuerst | Titel A-Z

  1.  

    A Testing Perspective on Algebraic, Denotational, and Operational Semantics

    Aichernig, Bernhard K. | British Library Conference Proceedings
  2.  

    Model-Based Mutation Testing of Reactive Systems

    From Semantics to Automated Test-Case Generation
    Aichernig, Bernhard K. | Springer Verlag | 2013
  3.  

    Probabilistic Black-Box Reachability Checking

    Aichernig, Bernhard K. / Tappler, Martin | British Library Conference Proceedings
  4.  

    Efficient Active Automata Learning via Mutation Testing

    Aichernig, Bernhard K. / Tappler, Martin | Springer Verlag | 2018
  5.  

    Property-based testing of web services by deriving properties from business-rule models

    Aichernig, Bernhard K. / Schumi, Richard | Springer Verlag | 2017
  6.  

    Towards integrating statistical model checking into property-based testing

    Aichernig, Bernhard K. / Schumi, Richard | IEEE | 2016
  7.  

    Learning from Faults: Mutation Testing in Active Automata Learning

    Aichernig, Bernhard K. / Tappler, Martin | British Library Conference Proceedings
  8.  

    Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

    Aichernig, Bernhard K. / Tappler, Martin | British Library Online Contents | 2016
  9.  

    How Fast Is MQTT? Statistical Model Checking and Testing of IoT Protocols

    Aichernig, Bernhard K. / Schumi, Richard | British Library Conference Proceedings
  10.  

    Statistical Model Checking Meets Property-Based Testing

    Aichernig, Bernhard K. / Schumi, Richard | IEEE | 2017
  11.  

    On-the-Fly Determinization of Bounded Networks of Timed Automata

    Aichernig, Bernhard K. / Lorber, Florian | IEEE | 2016
  12.  

    Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

    Aichernig, Bernhard K. / Tappler, Martin | British Library Online Contents | 2016
  13.  

    Efficient Refinement Checking for Model-Based Mutation Testing

    Aichernig, Bernhard K. / Jobstl, Elisabeth | IEEE | 2012
  14.  

    Contract-Based Testing

    Aichernig, Bernhard K. | Springer Verlag | 2003
  15.  

    Mutation Testing in the Refinement Calculus

    Aichernig, Bernhard K. | Online Contents | 2003

Ergebnisse anzeigen: 10 | 20 | 50

Feedback