Bernhard K. Aichernig

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Willibald Krenn

> Home > Persons > Bernhard K. Aichernig

Publications

2019
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sqj/AichernigBJKKKM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/AichernigBJKKKM19
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi:
Learning and statistical model checking of system response times. Softw. Qual. J. 27(2): 757-795 (2019)
2017
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/pts/SchumiLAKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/SchumiLAKS17
Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick:
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. ICTSS 2017: 293-310
2015
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/AichernigBJKST15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/AichernigBJKST15
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran:
Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. 25(8): 716-748 (2015)
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/KrennSTAJB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/KrennSTAJB15
Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl:
MoMut: : UML Model-Based Mutation Testing for UML. ICST 2015: 1-8
2014
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/AichernigAJKKSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/AichernigAJKKSS14
Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt:
Model-Based Mutation Testing of an Industrial Measurement Device. TAP@STAF 2014: 1-19
2011
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/AichernigBJK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/AichernigBJK11
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/AichernigBJK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/AichernigBJK11
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
Efficient Mutation Killers in Action. ICST 2011: 120-129
2009
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/KrennSA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/KrennSA09
Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig:
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. FMCO 2009: 186-207
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/fmco/AichernigBJK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmco/AichernigBJK09
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn:
Model-Based Mutation Testing of Hybrid Systems. FMCO 2009: 228-249
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AichernigBK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AichernigBK09
Bernhard K. Aichernig, Harald Brandl, Willibald Krenn:
Qualitative Action Systems. ICFEM 2009: 206-225
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KrennA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KrennA09
Willibald Krenn, Bernhard K. Aichernig:
Test Case Generation by Contract Mutation in Spec#. MBT@ETAPS 2009: 71-86

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.