TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation

Publikationen

Publikationen pro Jahr 2012 2012 2013 2015 2016

• 8 Beitrag in einem Konferenzband
• 3 Artikel

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2016

  Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

  Aichernig, B. K., Jöbstl, E. & Tappler, M., 2016, in: The journal of logic and algebraic programming. 85, 5, Part 2, S. 806-823 18 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Case Generation 100%
  • Input/Output 100%
  • Conformance 100%
  • Industrial Application 50%
  • Surface Mount Technology 25%
• 2015

  Killing strategies for model-based mutation testing

  Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W., Schlick, R. & Tiran, S., 2015, in: Software Testing, Verification and Reliability. 25, 8, S. 716-748

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

• Model-Based Mutation Testing via Symbolic Refinement Checking

  Aichernig, B., Jöbstl, E. & Tiran, S., 2015, in: Science of Computer Programming . 97, Part 4, S. 383-404

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

• MoMuT::UML - model-based mutation testing for UML

  Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W. K., Schlick, R. & Tiran, S., 2015, IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. Institute of Electrical and Electronics Engineers, S. 1-8

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
• 2014

  Model-Based Mutation Testing of an Industrial Measurement Device

  Aichernig, B., Auer, J., Jöbstl, E., Korosec, R., Krenn, W., Schlick, R. & Schmidt, B. V., 2014, Tests and Proofs. Springer, Band 8570. S. 1-9 (Lecture Notes in Computer Science).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
• 2013

  Incremental Refinement Checking for Test Case Generation

  Aichernig, B., Jöbstl, E. & Kegele, M., 2013, Tests and Proofs. Springer, Band 7942. S. 1-19 (Lecture Notes in Computer Science).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Model-based mutation testing of reactive systems - from semantics to automated test-case generation

  Aichernig, B., 2013, Theories of Programming and Formal Methods. ., S. 23-36

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Time for Mutants —Model-based Mutation Testing with Timed Automata

  Aichernig, B., Lorber, F. L. & Nickovic, D., 2013, Tests and Proofs . Springer, S. 20-38 (Lecture Notes in Computer Science; Band 7942).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
• 2012

  Efficient Refinement Checking for Model-Based Mutation Testing

  Aichernig, B. & Jöbstl, E., 2012, Proceedings of the 12th International Conference on Quality Software (QSIC 2012). IEEE Computer Society, S. 21-30

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

  Aichernig, B. & Jöbstl, E., 2012, Model-Based Testing (MBT). ., Band 80. S. 88-102 (Electronic Proceedings in Theoretical Computer Science (EPTCS)).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints

  Aichernig, B. & Jöbstl, E., 2012, Workshops Proceedings of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012). IEEE Computer Society, S. 752-757

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung