Search Results - Krenn, Willibald

  • Showing 1 - 15 results of 15
Refine Results
  1. 1
    Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search

    Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search by Fellner, Andreas, Krenn, Willibald, Schlick, Rupert, Tarrach, Thorsten, Weissenbacher, Georg

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Sicherheit vernetzter, hochautomatisierter Roboter

    Sicherheit vernetzter, hochautomatisierter Roboter by Krenn, Willibald

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Killing strategies for model-based mutation testing

    Killing strategies for model-based mutation testing by Aichernig, Bernhard K., Brandl, Harald, Jöbstl, Elisabeth, Krenn, Willibald, Schlick, Rupert, Tiran, Stefan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Learning and statistical model checking of system response times

    Learning and statistical model checking of system response times by Aichernig, Bernhard K., Bauerstätter, Priska, Jöbstl, Elisabeth, Kann, Severin, Korošec, Robert, Krenn, Willibald, Mateis, Cristinel, Schlick, Rupert, Schumi, Richard

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    The European Chips Act, The ISOLDE Project, and Open-Source Hardware

    The European Chips Act, The ISOLDE Project, and Open-Source Hardware by Krenn, Willibald, Wilson, Andrew, Suresh, Ambily, Freiberger, Manuel

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Test Case Generation by Contract Mutation in Spec#

    Test Case Generation by Contract Mutation in Spec# by Krenn, Willibald, Aichernig, Bernhard K.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants -- First Results

    Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants -- First Results by Krenn, Willibald, Schlick, Rupert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    MoMut::UML Model-Based Mutation Testing for UML

    MoMut::UML Model-Based Mutation Testing for UML by Aichernig, Bernhard, Brandl, Harald, Jobstl, Elisabeth, Krenn, Willibald, Schlick, Rupert, Tiran, Stefan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  9. 9
    A Pattern-Based Formalization of Cloud-Based Elastic Systems

    A Pattern-Based Formalization of Cloud-Based Elastic Systems by Dustdar, Schahram, Gambi, Alessio, Krenn, Willibald, Nickovic, Dejan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Compositional Specifications for ioco Testing

    Compositional Specifications for ioco Testing by Daca, Przemyslaw, Henzinger, Thomas A., Krenn, Willibald, Nickovic, Dejan

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  11. 11
    Compositional Specifications for ioco Testing

    Compositional Specifications for ioco Testing by Daca, Przemyslaw, Henzinger, Thomas A, Krenn, Willibald, Nickovic, Dejan

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Efficient Mutation Killers in Action

    Efficient Mutation Killers in Action by Aichernig, B K, Brandl, H, Jobstl, E, Krenn, W

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  13. 13
    UML in action: a two-layered interpretation for testing

    UML in action: a two-layered interpretation for testing by Aichernig, Bernhard K., Brandl, Harald, Jöbstl, Elisabeth, Krenn, Willibald

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  14. 14
    Knowledge Extraction from C-Code

    Knowledge Extraction from C-Code by Wotawa, F., Krenn, W.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Intelligent, Fault Tolerant Control for Autonomous Systems

    Intelligent, Fault Tolerant Control for Autonomous Systems by Krenn, W., Wotawa, F.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: