Bernhard Aichernig

Ao.Univ.-Prof. Dipl.-Ing. Dr.techn.

1995 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Other report
2015

Bounded Determinization of Timed Automata with Silent Transitions

Rosenmann, A., Lorber, F. L., Nickovic, D. & Aichernig, B., 2015, .

Research output: Book/ReportOther reportResearch

Open Access
File
2014

Require, Test and Trace IT

Lorber, F. L., Aichernig, B., Tiran, S. & Nickovic, D., 2014, .

Research output: Book/ReportOther reportResearch

Open Access
File
2013

Fast Refinement Checking for Test Case Generation

Aichernig, B., Jöbstl, E. & Kegele, M., 2013, .

Research output: Book/ReportOther reportResearch

Open Access
File

Model-based Mutation Testing with Timed Automata

Aichernig, B., Lorber, F. L. & Nickovic, D., 2013, .

Research output: Book/ReportOther reportResearch

Open Access
File
2012

Formal Test-Driven Development with Verified Test Cases

Aichernig, B., Lorber, F. L. & Tiran, S., 2012, .

Research output: Book/ReportOther reportResearch

Open Access
File