EU-MOGENTES - Model-based Generation of Tests for Dependable Embedded Systems

Research output

Research output per year 2008 2008 2009 2010 2011 2015 2015

• 13 Conference paper
• 1 Anthology
• 1 Article

Research output per year

Research output per year

Search results

• 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, p. 716-748

  Research output: Contribution to journal › Article › peer-review

• 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, p. 1-8

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2012

  Formal Methods for Components and Objects - 9th International Symposium, FMCO 2010

  Aichernig, B. (ed.), de Boer, F. S. (ed.) & Bonsangue, M. M. (ed.), 2012, Springer Verlag.

  Research output: Book/Report › Anthology
• 2011

  Efficient Mutation Killers in Action

  Aichernig, B., Brandl, H., Jöbstl, E. & Krenn, W., 2011, 2011 Fourth International Conference on Software Testing, Verification and Validation (ICST 2011). Institute of Electrical and Electronics Engineers, p. 120-129

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Fault-Based Generation of Test Cases from UML-Models – Approach and Experiences

  Herzner, W., Schlick, R. & Jöbstl, E., 2011, 30th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2011). Springer, Vol. 6894. p. 270-283 (Lecture Notes in Computer Science (LNCS)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• UML in Action: A Two-Layered Interpretation for Testing

  Aichernig, B., Brandl, H., Jöbstl, E. & Krenn, W., 2011, Third IEEE International workshop UML and Formal Methods (UML & FM 2010). Association of Computing Machinery, Vol. 36. p. 1-8 (ACM Software Engineering Notes).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2010

  Automated Conformance Verification of Hybrid Systems

  Brandl, H., Weiglhofer, M. & Aichernig, B., 2010, Proceedings of the 10th International Conference on Quality Software. IEEE Reliability Society, p. 3-12

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

• Model-Based Mutation Testing of Hybrid Systems

  Aichernig, B., Brandl, H., Jöbstl, E. & Krenn, W., 2010, Formal Methods for Components and Objects. ., p. 228-249 (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

  Jöbstl, E., Weiglhofer, M., Aichernig, B. & Wotawa, F., 2010, 2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010). Institute of Electrical and Electronics Engineers, p. 479-488

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2009

  Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

  Aichernig, B., Brandl, H. & Wotawa, F., 2009, Model-Based Testing, MBT. Elsevier B.V., Vol. 253. p. 53-69 (Electronic Notes in Theoretical Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Qualitative Action Systems

  Aichernig, B., Brandl, H. & Krenn, W. K., 2009, Formal Methods and Software Engineering. Berlin [u.a.]: Springer, Vol. 5885. p. 206-225 (Lecture notes in computer science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Test Case Generation by Contract Mutation in Spec#

  Krenn, W. K. & Aichernig, B., 2009, Model-Based Testing -- MBT 09. Elsevier B.V., Vol. 253. p. 71-86 (Electronic Notes in Theoretical Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Testing of Hybrid Systems using Qualitative Models

  Brandl, H., 2009, Proceedings of Formal Methods 2009 Doctoral Symposium. ., p. 46-52

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
• 2008

  A report on QR-based testing

  Brandl, H., Fraser, G. & Wotawa, F., 2008, 22nd International Workshop on Qualitative Reasoning. ., p. 1-9

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Coverage-based Testing Using Qualitative Reasoning Models

  Brandl, H., Fraser, G. & Wotawa, F., 2008, Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering. ., p. 393-398

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review