AIDOaRT - AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in CPSs

Project: Research project

  • 1 Conference paper

Search results

  • 2022

    Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning

    Pferscher, A. & Aichernig, B., 20 May 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Cham: Springer, p. 373-392 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13260 LNCS).

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