No photo of Martin Tappler

Martin Tappler

Dipl.-Ing., BSc

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

Research Output 2016 2019

Filter
Article
2019

Probabilistic black-box reachability checking (extended version)

Aichernig, B. & Tappler, M., 2019, In : Formal methods in system design. 33 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
2018

Efficient Active Automata Learning via Mutation Testing

Aichernig, B. & Tappler, M., 25 Oct 2018, In : Journal of Automated Reasoning. p. 1 - 32 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
Testing
Costs
Experiments
2017

Dependable Internet of Things for Networked Cars

Großwindhager, B., Rupp, A., Tappler, M., Tranninger, M., Weiser, S., Aichernig, B., Boano, C. A., Horn, M., Kubin, G., Mangard, S., Steinberger, M. & Römer, K. U., Dec 2017, In : International Journal of Computing. 16, 4, p. 226-237

Research output: Contribution to journalArticleResearchpeer-review

Railroad cars
Testbeds
Trucks
Radio interference
Industrial plants
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, p. 806-823 18 p., 85:5,Part 2.

Research output: Contribution to journalArticleResearchpeer-review