No photo of Martin Tappler
 

Martin Tappler

Dipl.-Ing., BSc

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

Fingerprint Dive into the research topics where Martin Tappler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 13 Similar Profiles
Testing Engineering & Materials Science
Railroad cars Engineering & Materials Science
Communication Engineering & Materials Science
Specifications Engineering & Materials Science
Testbeds Engineering & Materials Science
Network protocols Engineering & Materials Science
Experiments Engineering & Materials Science
Trucks Engineering & Materials Science

Research Output 2016 2018

  • 7 Conference contribution
  • 3 Article
  • 1 Chapter

Automata Learning for Symbolic Execution

Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.

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

Testing

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 journal › Article › Research › peer-review

Open Access
Testing
Costs
Experiments

Model Learning and Model-Based Testing

Aichernig, B., Mostowski, W., Mousavi, M. R., Tappler, M. & Taromirad, M., 20 Jul 2018, Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers. Bennaceur, A., Hähnle, R. & Meinke, K. (eds.). Cham: Springer Nature, p. 74 - 100 27 p. (Lecture Notes in Computer Science; vol. 11026).

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

Testing

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 journal › Article › Research › peer-review

Railroad cars
Testbeds
Trucks
Radio interference
Industrial plants

Learning from Faults: Mutation Testing in Active Automata Learning

Aichernig, B. K. & Tappler, M., 2017, NASA Formal Methods - 9th International Symposium. Springer International Publishing AG , p. 19-34 16 p. (Lecture Notes in Computer Science; vol. 10227).

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

Activities 2015 2015

  • 1 Talk at workshop, seminar or course

1st Usages of Symbolic Execution Workshop USE'15

Martin Tappler (Speaker)
23 Jun 2015

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Projects 2016 2022

Dependable Internet of Things

Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer, G. & Tranninger, M.

1/01/16 → 31/03/22

Project: Research project