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
(Old data) Lecture or Presentation
2015

Killing Bugs in a Black Box with Model-based Testing

Aichernig, B. & Lorber, F. L., 10 Jun 2015.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

2006

From Faults via Test Purposes to Test Cases: on the Fault-based Testing of Concurrent Systems

Aichernig, B. & Corrales, C., 28 Mar 2006.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

2000

Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods

Aichernig, B. & Hoerl, J., 22 Jun 2000.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch