Conference Papers

Peer-reviewed conference and workshop papers:
  1. Edi Muskardin, Martin Tappler, and Bernhard K. Aichernig. Testing-based black-box extraction of simple models from RNNs and transformers. In François Coste, Faissal Ouardi, and Guillaume Rabusseau, editors, International Conference on Grammatical Inference, ICGI 2023, 10-13 July 2023, Rabat, Morocco, volume 217 of Proceedings of Machine Learning Research, pages 291–294. PMLR, 2023.
  2. Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, and Martin Tappler. Constrained training of recurrent neural networks for automata learning. In Bernd-Holger Schlingloff and Ming Chai, editors, Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, volume 13550 of Lecture Notes in Computer Science, pages 155–172. Springer, 2022. (doi:10.1007/978-3-031-17108-6_10)
  3. Bernhard K. Aichernig, Edi Muskardin, and Andrea Pferscher. Active vs. passive: A comparison of automata learning paradigms for network protocols. In Matt Luckcuck and Marie Farrell, editors, Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022, volume 371 of EPTCS, pages 1–19, 2022. (doi:10.4204/EPTCS.371.1)
  4. Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, and Martin Tappler. Learning finite state models from recurrent neural networks. In Maurice H. ter Beek and Rosemary Monahan, editors, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, volume 13274 of Lecture Notes in Computer Science, pages 229–248. Springer, 2022. (doi:10.1007/978-3-031-07727-2_13)
  5. Andrea Pferscher and Bernhard K. Aichernig. Stateful black-box fuzzing of bluetooth devices using automata learning. In Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, volume 13260 of Lecture Notes in Computer Science, pages 373–392. Springer, 2022. (doi:10.1007/978-3-031-06773-0_20)
  6. Martin Tappler, Bernhard K. Aichernig, and Florian Lorber. Timed automata learning via SMT solving. In Jyotirmoy V. Deshmukh, Klaus Havelund, and Ivan Perez, editors, NASA Formal Methods - 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings, volume 13260 of Lecture Notes in Computer Science, pages 489–507. Springer, 2022. (doi:10.1007/978-3-031-06773-0_26)
  7. Martin Tappler, Filip Cano Córdoba, Bernhard K. Aichernig, and Bettina Könighofer. Search-based testing of reinforcement learning. In Luc De Raedt, editor, Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pages 503–510. ijcai.org, 2022. (doi:10.24963/IJCAI.2022/72)
  8. Bernhard K. Aichernig, Edi Muskardin, and Andrea Pferscher. Learning-based fuzzing of iot message brokers. In 14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, Porto de Galinhas, Brazil, April 12-16, 2021, pages 47–58. IEEE, 2021. (doi:10.1109/ICST49551.2021.00017)
  9. Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, and Martin Tappler. Aalpy: An active automata learning library. In Zhe Hou and Vijay Ganesh, editors, Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings, volume 12971 of Lecture Notes in Computer Science, pages 67–73. Springer, 2021. (doi:10.1007/978-3-030-88885-5_5)
  10. Andrea Pferscher and Bernhard K. Aichernig. Fingerprinting bluetooth low energy devices via active automata learning. In Marieke Huisman, Corina S. Pasareanu, and Naijun Zhan, editors, Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, volume 13047 of Lecture Notes in Computer Science, pages 524–542. Springer, 2021. (doi:10.1007/978-3-030-90870-6_28)
  11. Martin Tappler, Edi Muskardin, Bernhard K. Aichernig, and Ingo Pill. Active model learning of stochastic reactive systems. In Radu Calinescu and Corina S. Pasareanu, editors, Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings, volume 13085 of Lecture Notes in Computer Science, pages 481–500. Springer, 2021. (doi:10.1007/978-3-030-92124-8_27)
  12. Bernhard K. Aichernig and Christian Burghard. Giving a model-based testing language a formal semantics via partial MAX-SAT. In Valentina Casola, Alessandra De Benedictis, and Massimiliano Rak, editors, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, volume 12543 of Lecture Notes in Computer Science, pages 35–51. Springer, 2020. (doi:10.1007/978-3-030-64881-7_3)
  13. Bernhard K. Aichernig and Benedikt Maderbacher. Step-wise development of provably correct actor systems. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, volume 12476 of Lecture Notes in Computer Science, pages 426–448. Springer, 2020. (doi:10.1007/978-3-030-61362-4_25)
  14. Bernhard K. Aichernig, Andrea Pferscher, and Martin Tappler. From passive to active: Learning timed automata efficiently. In Ritchie Lee, Susmit Jha, and Anastasia Mavridou, editors, NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, volume 12229 of Lecture Notes in Computer Science, pages 1–19. Springer, 2020. (doi:10.1007/978-3-030-55754-6_1)
  15. Bernhard K. Aichernig, Martin Tappler, and Felix Wallner. Benchmarking combinations of learning and testing algorithms for active automata learning. In Wolfgang Ahrendt and Heike Wehrheim, editors, Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], volume 12165 of Lecture Notes in Computer Science, pages 3–22. Springer, 2020. (doi:10.1007/978-3-030-50995-8_1)
  16. Renata Martins Gomes, Bernhard K. Aichernig, and Marcel Baunach. A formal modeling approach for portable low-level OS functionality. In Frank S. de Boer and Antonio Cerone, editors, Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, volume 12310 of Lecture Notes in Computer Science, pages 155–174. Springer, 2020. (doi:10.1007/978-3-030-58768-0_9)
  17. Andrea Pferscher and Bernhard K. Aichernig. Learning abstracted non-deterministic finite state machines. In Valentina Casola, Alessandra De Benedictis, and Massimiliano Rak, editors, Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings, volume 12543 of Lecture Notes in Computer Science, pages 52–69. Springer, 2020. (doi:10.1007/978-3-030-64881-7_4)
  18. Bernhard K. Aichernig. A testing perspective on algebraic, denotational, and operational semantics. In Pedro Ribeiro and Augusto Sampaio, editors, Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings, volume 11885 of Lecture Notes in Computer Science, pages 22–38. Springer, 2019. (doi:10.1007/978-3-030-31038-7_2)
  19. Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Horn, Franz Pernkopf, Wolfgang Roth, Astrid Rupp, Martin Tappler, and Markus Tranninger. Learning a behavior model of hybrid systems through combining model-based testing and machine learning. In Christophe Gaston, Nikolai Kosmatov, and Pascale Le Gall, editors, Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, volume 11812 of Lecture Notes in Computer Science, pages 3–21. Springer, 2019. (doi:10.1007/978-3-030-31280-0_1)
  20. Bernhard K. Aichernig, Christian Burghard, and Robert Korosec. Learning-based testing of an industrial measurement device. In NASA Formal Methods - 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings, volume 11460 of Lecture Notes in Computer Science, pages 1–18. Springer, 2019. (PDF) (doi:10.1007/978-3-030-20652-9_1)
  21. Bernhard K. Aichernig, Benedikt Maderbacher, and Stefan Tiran. Programming behavioral test models for SMT solving in Scala. In 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pages 52–60, April 2019. (PDF) (doi:10.1109/ICSTW.2019.00032)
  22. Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, and Andreas Wurm. Predicting and testing latencies with deep learning: An iot case study. In Dirk Beyer and Chantal Keller, editors, Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings, volume 11823 of Lecture Notes in Computer Science, pages 93–111. Springer, 2019. (doi:10.1007/978-3-030-31157-5_7)
  23. Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, and Kim G. Larsen. L*-based learning of markov decision processes. In Maurice H. ter Beek, Annabelle McIver, and José N. Oliveira, editors, Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, volume 11800 of Lecture Notes in Computer Science, pages 651–669. Springer, 2019. (doi:10.1007/978-3-030-30942-8_38)
  24. Martin Tappler, Bernhard K. Aichernig, Kim Guldstrand Larsen, and Florian Lorber. Time to learn - learning timed automata from tests. In Étienne André and Mariëlle Stoelinga, editors, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings, volume 11750 of Lecture Notes in Computer Science, pages 216–235. Springer, 2019. (doi:10.1007/978-3-030-29662-9_13)
  25. Bernhard K. Aichernig, Wojciech Mostowski, Mohammad Reza Mousavi, Martin Tappler, and Masoumeh Taromirad. Model learning and model-based testing. In Machine Learning for Dynamic Software Analysis: Potentials and Limits - International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers, volume 11026 of Lecture Notes in Computer Science, pages 74–100. Springer, 2018. (PDF) (doi:10.1007/978-3-319-96562-8_3)
  26. Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi, Martin Tappler, and Johannes Winter. Automata learning for symbolic execution. In 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pages 1–9. IEEE, 2018. (PDF) (doi:10.23919/FMCAD.2018.8602991)
  27. Bernhard K. Aichernig and Richard Schumi. How fast is MQTT? - statistical model checking and testing of IoT protocols. In Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, volume 11024 of Lecture Notes in Computer Science, pages 36–52. Springer, 2018. (PDF) (doi:10.1007/978-3-319-99154-2_3)
  28. Bernhard K. Aichernig, Severin Kann, and Richard Schumi. Statistical model checking of response times for different system deployments. In Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, volume 10998 of Lecture Notes in Computer Science, pages 153–169. Springer, 2018. (PDF) (doi:10.1007/978-3-319-99933-3_11)
  29. Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, and Rupert Schlick. Checking response-time properties of web-service applications under stochastic user profiles. In Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings, volume 10533 of Lecture Notes in Computer Science, pages 293–310. Springer, 2017. (PDF) (doi:10.1007/978-3-319-67549-7_18)
  30. Bernhard K. Aichernig and Martin Tappler. Learning from faults: Mutation testing in active automata learning. In NASA Formal Methods, 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, volume 10227 of Lecture Notes in Computer Science, pages 19–34. Springer International Publishing, 2017. (PDF) (doi:10.1007/978-3-319-57288-8_2)
  31. Bernhard K. Aichernig and Richard Schumi. Statistical model checking meets property-based testing. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pages 390–400. IEEE Computer Society, 2017. (PDF) (doi:10.1109/ICST.2017.42)
  32. Bernhard K. Aichernig and Martin Tappler. Probabilistic black-box reachability checking. In Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings, volume 10548 of Lecture Notes in Computer Science, pages 50–67. Springer, 2017. (PDF) (doi:10.1007/978-3-319-67531-2_4)
  33. Bernhard K. Aichernig, Silvio Markovic, and Richard Schumi. Property-based testing with external test-case generators. In Tenth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, 13-17 March, 2017, pages 337–346. IEEE Computer Society, 2017. (PDF) (doi:10.1109/ICSTW.2017.62)
  34. Martin Tappler, Bernhard K. Aichernig, and Roderick Bloem. Model-based testing IoT communication via active automata learning. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, pages 276–287. IEEE Computer Society, 2017. (PDF) (doi:10.1109/ICST.2017.32)
  35. Bernhard K. Aichernig and Richard Schumi. Towards integrating statistical model checking into property-based testing. In 14th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE, Kanpur, India, Nov. 18–20, 2016, pages 71–76. IEEE Computer Society, 2016. (PDF) (doi:10.1109/MEMCOD.2016.7797748)
  36. Bernhard K. Aichernig and Florian Lorber. On-the-fly determinization of networks of timed automata. In Proceedings of TASE 2016, the 10th International Symposium on Theoretical Aspects of Software Engineering July 17-19, 2016, Shanghai, China, pages 14–21. IEEE Computer Society, 2016. (PDF) (doi:10.1109/TASE.2016.23)
  37. Bernhard K. Aichernig and Richard Schumi. Property-based testing with FsCheck by deriving properties from business rule models. In Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016, pages 219–228. IEEE Computer Society, 2016. (PDF) (doi:10.1109/ICSTW.2016.24)
  38. Bernhard K. Aichernig, Florian Lorber, and Martin Tappler. Conformance checking of real-time models - symbolic execution vs. bounded model checking. In Erika Ábrahám, Marcello M. Bonsangue, and Einar Broch Johnsen, editors, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, volume 9660 of Lecture Notes in Computer Science, pages 15–32. Springer, 2016. (PDF) (doi:10.1007/978-3-319-30734-3_4)
  39. Bernhard K. Aichernig and Martin Tappler. Symbolic input-output conformance checking for model-based mutation testing. The 1st workshop on Uses of Symbolic Execution (USE), Oslo, Norway, 23-25 June 2015. Proceedings, Electr. Notes Theor. Comput. Sci., 320:3–19, 2016. (PDF) (doi:10.1016/j.entcs.2016.01.002)
  40. Florian Lorber, Amnon Rosenmann, Dejan Nickovic, and Bernhard K. Aichernig. Bounded determinization of timed automata with silent transitions. In Sriram Sankaranarayanan and Enrico Vicario, editors, Formal Modeling and Analysis of Timed Systems - 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings, volume 9268 of Lecture Notes in Computer Science, pages 288–304. Springer, 2015. (PDF) (doi:10.1007/978-3-319-22975-1_19)
  41. Bernhard K. Aichernig, Dejan Nickovic, and Stefan Tiran. Scalable incremental test-case generation from large behavior models. In Jasmin Christian Blanchette and Nikolai Kosmatov, editors, Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, 22–-24 July 2015. Proceedings, volume 9154 of Lecture Notes in Computer Science, pages 1–18. Springer, 2015. (PDF) (doi:10.1007/978-3-319-21215-9_1)
  42. Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, and Stefan Tiran. Require, test and trace IT. In Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings, volume 9128 of Lecture Notes in Computer Science, pages 113–127. Springer, 2015. (PDF)
  43. Bernhard Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. MoMuT::UML – model-based mutation testing for UML. In 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015, pages 1–8. IEEE, 2015. (PDF)
  44. Bernhard K. Aichernig and Florian Lorber. Towards generation of adaptive test cases from partial models of determinized timed automata. In 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 12th Workshop on Advances in Model Based Testing (A-MOST 2015), pages 1–6. IEEE, 2015. (PDF)
  45. Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, and Birgit Vera Schmidt. Model-based mutation testing of an industrial measurement device. In Tests and Proofs - 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings, volume 8570 of Lecture Notes in Computer Science, pages 1–9. Springer-Verlag, 2014. (PDF)
  46. Bernhard K. Aichernig, Klaus Hörmaier, and Florian Lorber. Debugging with timed automata mutations. In Andrea Bondavalli and Felicita Di Giandomenico, editors, Computer Safety, Reliability, and Security, 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014, volume 8666 of Lecture Notes in Computer Science, pages 49–64. Springer International Publishing, 2014. (PDF)
  47. Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, and Stefan Tiran. Integration of requirements engineering and test-case generation via OSLC. In 2014 14th International Conference on Quality Software, Allen, TX, USA, October 2-3, 2014, pages 117–126, 2014. (PDF)
  48. Bernhard K. Aichernig, Florian Lorber, and Stefan Tiran. Formal test-driven development with verified test cases. In MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, pages 626–635. SciTePress, 2014. (PDF)
  49. Bernhard K. Aichernig. Model-based mutation testing of reactive systems - from semantics to automated test-case generation. In Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, pages 23–36. Springer-Verlag, 2013. (PDF)
  50. Bernhard K. Aichernig, Elisabeth Jöbstl, and Matthias Kegele. Incremental refinement checking for test case generation. In Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), Budapest, Hungary, June 16-20, 2013, volume 7942 of Lecture Notes in Computer Science, pages 1–19. Springer-Verlag, 2013. (PDF)
  51. Bernhard K. Aichernig, Florian Lorber, and Dejan Nickovic. Time for mutants — model-based mutation testing with timed automata. In Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), Budapest, Hungary, June 16-20, 2013, volume 7942 of Lecture Notes in Computer Science, pages 20–38. Springer-Verlag, 2013. (PDF)
  52. Bernhard K. Aichernig. The science of killing bugs in a black box – (keynote talk). In Francisco Heron de Carvalho Junior and Luís Soares Barbosa, editors, Programming Languages – 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012., volume 7554 of Lecture Notes in Computer Science, pages 6–11. Springer-Verlag, 2012. (PDF)
  53. Bernhard K. Aichernig and Elisabeth Jöbstl. Efficient refinement checking for model-based mutation testing. In Antony Tang and Henry Muccini, editors, QSIC 2012, 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012, pages 21–30. IEEE Computer Society, 2012. (PDF)
  54. Bernhard K. Aichernig, Florian Lorber, and Stefan Tiran. Integrating model-based testing and analysis tools via test case exchange. In TASE 2012, 6th IEEE International Symposium on Theoretical Aspects of Software Engineering, July 4–6, Beijing, China, pages 119-126. IEEE Computer Society, 2012.  (PDF)
  55. Bernhard K. Aichernig and Elisabeth Jöbstl. Towards symbolic model-based mutation testing: Pitfalls in expressing semantics as constraints. In Workshops Proc. of the 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012), pages 752–757. IEEE Computer Society, 2012. (PDF)
  56. Bernhard K. Aichernig and Elisabeth Jöbstl. Towards symbolic model-based mutation testing: Combining reachability and refinement checking. In 7th Workshop on Model-Based Testing (MBT 2012), volume 80 of EPTCS, pages 88–102, 2012. (PDF) (doi:10.4204/EPTCS.80.7)
  57. Christian Schwarzl, Bernhard K. Aichernig, and Franz Wotawa. Compositional random testing using extended symbolic transition systems. In Burkhart Wolff and Fatiha Zaïdi, editors, Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings, volume 7019 of Lecture Notes in Computer Science, pages 179–194. Springer-Verlag, 2011. (PDF)
  58. Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Efficient mutation killers in action. In ICST 2011, Fourth International Conference on Software Testing, Verification and Validation, Berlin, Germany, March 21–25 , 2011, pages 120–129. IEEE Computer Society, 2011. Copyright by IEEE. (PDF)
  59. Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. UML in action: a two-layered interpretation for testing. ACM SIGSOFT Software Engineering Notes, Proceedings of UML&FM 2010, the third IEEE International Workshop on UML and Formal Methods, November 16th, 2010, Shanghai, China, 36(1):1–8, 2011. (PDF)
  60. Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Model-based mutation testing of hybrid systems. In Proc. of Formal Methods for Components and Objects (FMCO) 2009, volume 6286 of Lecture Notes in Computer Science, pages 228–249. Springer, 2010. (PDF)
  61. Willibald Krenn, Rupert Schlick, and Bernhard K. Aichernig. Mapping UML to labeled transition systems for test-case generation – a translation via object-oriented action systems. In Proc. of Formal Methods for Components and Objects (FMCO) 2009, volume 6286 of Lecture Notes in Computer Science, pages 186–207. Springer, 2010. (PDF)
  62. Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, and Wang Yi. Credo methodology: Modeling and analyzing a peer-to-peer system in Credo. Electronic Notes in Theoretical Computer Science, 266:33 – 48, 2010. Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS). (PDF)
  63. Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer, and Marcel Kyas. Resource modeling for timed Creol models. Electronic Notes in Theoretical Computer Science, 266:63 – 75, 2010. Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS). (PDF)
  64. Harald Brandl, Martin Weiglhofer, and Bernhard K. Aichernig. Automated conformance verification of hybrid systems. In Proceedings of QSIC 2010: the 10th International Conference on Quality Software, Zhangjiajie, China, July 14-15, 2010. IEEE Computer Society, 2010. Copyright by IEEE. (PDF)
  65. Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, and Franz Wotawa. When BDDs fail: Conformance testing with symbolic execution and smt solving. In Third International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, April 6–10, 2010, pages 479–488. IEEE Computer Society, 2010. Copyright by IEEE. (PDF)
  66. Franz Wotawa, Mihai Nica, and Bernhard K. Aichernig. Generating distinguishing tests using the MINION constraint solver. In Proceedings of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10), Paris, France, April 4, 2010, pages 1–6, 2010. (PDF)
  67. Martin Weiglhofer and Bernhard Aichernig. Unifying input output conformance. In Andrew Butterfield, editor, Unifying Theories of Programming, volume 5713 of Lecture Notes in Computer Science, pages 181–201. Springer Berlin / Heidelberg, 2010. Proceedings of UTP 2008, the 2nd International Symposium on Unifying Theories of Programming, 8th-10th September, Trinity College Dublin, Ireland. (PDF)
  68. Bernhard K. Aichernig, Harald Brandl, and Willibald Krenn. Qualitative action systems. In Karin Breitman and Ana Cavalcanti, editors, Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, volume 5885 of Lecture Notes in Computer Science, pages 206–225, Berlin/Heidelberg, 2009. Springer-Verlag. (PDF) (doi:10.1007/978-3-642-10373-5_11)
  69. Bernhard K. Aichernig, Harald Brandl, and Franz Wotawa. Conformance testing of hybrid systems with qualitative reasoning models. In B. Finkbeiner, Y. Gurevich, and A.K. Petrenko, editors, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), York, England, 22 March 2009, volume 253 (2) of Electronic Notes in Theoretical Computer Science, pages 53–69. Elsevier, October 2009. (PDF) (doi:10.1016/j.entcs.2009.09.051)
  70. Willibald Krenn and Bernhard K. Aichernig. Test case generation by contract mutation in Spec#. In B. Finkbeiner, Y. Gurevich, and A.K. Petrenko, editors, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), York, England, 22 March 2009, volume 253 (2) of Electronic Notes in Theoretical Computer Science, pages 71–86. Elsevier, October 2009. (PDF) (doi:10.1016/j.entcs.2009.09.052)
  71. Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, and Andries Stam. Conformance testing of distributed concurrent systems with executable designs. In Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21–23, 2008, Revised, volume 5751 of Lecture Notes in Computer Science, pages 61–81, Berlin/Heidelberg, August 2009. Springer. The original publication is available at www.springerlink.com. (PDF) (doi:10.1007/978-3-642-04167-9_4)
  72. Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Sun Meng, and Jan Rutten. Fault-based test case generation for component connectors. In TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, July 29–31, pages 147–154. IEEE Computer Society, July 2009. Copyright by IEEE. (PDF) (doi:10.1109/TASE.2009.14)
  73. Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, and Andries Stam. Modeling and testing multi-threaded asynchronous systems with Creol. In Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software (TTSS 2008), Istanbul, Turkey, 30 August 2008, volume 243 of Electronic Notes in Theoretical Computer Science, pages 3–14. Elsevier, July 2009. (PDF) (doi:10.1016/j.entcs.2009.07.002)
  74. A. Griesmayer, B.K. Aichernig, E.B. Johnsen, and R. Schlatte. Dynamic symbolic execution for testing distributed objects. In Second International Conference on Tests and Proofs (TAP'09), volume 5668 of Lecture Notes in Computer Science, pages 105–120. Springer-Verlag, 2009. The original publication is available at www.springerlink.com. (PDF) (doi:10.1007/978-3-642-02949-3_9)
  75. Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, and Rudolf Schlatte. Dynamic symbolic execution of distributed concurrent objects (short paper). In IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE), volume 5522 of Lecture Notes in Computer Science, pages 225–230. Springer-Verlag, 2009. The original publication is available at www.springerlink.com. (PDF) (doi:10.1007/978-3-642-02138-1_16)
  76. Bernhard K. Aichernig, Martin Weiglhofer, and Franz Wotawa. Improving fault-based conformance testing. In Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008), volume 220 (1) of Electronic Notes in Theoretical Computer Science, pages 63–77, 2008. (PDF) (doi:10.1016/j.entcs.2008.11.006)
  77. Rudolf Schlatte, Bernhard Aichernig, Frank de Boer, Andreas Griesmayer, and Einar Broch Johnsen. Testing concurrent objects with application-specific schedulers. In John S. Fitzgerald, Anne E. Haxthausen, and Husnu Yenigun, editors, Proc. 5th International Colloquium on Theoretical Aspects of Computing (ICTAC'08), volume 5060 of Lecture Notes in Computer Science, pages 319–333. Springer-Verlag, 2008. The original publication is available at www.springerlink.com. (PDF) (doi:10.1007/978-3-540-85762-4_22)
  78. Bernhard K. Aichernig and Jifeng He. Refinement and test case generation in UTP. In Proceedings of the 11th Refinement Workshop (REFINE 2006), volume 187 of Electronic Notes in Theoretical Computer Science, pages 125–143, 2007. (PDF) (doi:10.1016/j.entcs.2006.08.048)
  79. Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, and Franz Wotawa. Protocol conformance testing a SIP registrar: an industrial application of formal methods. In Mike Hinchey and Tiziana Margaria, editors, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pages 215–226. IEEE Computer Society, 2007. (PDF) (doi:10.1109/SEFM.2007.31)
  80. Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, and Franz Wotawa. Test purpose generation in an industrial application. In Proceedings of the 3rd Workshop on Advances in Model Based Testing, A-MOST 2007, co-located with the ISSTA 2007 International Symposium on Software Testing and Analysis, London, United Kingdom, July 9-12, pages 115–125, 2007. (PDF) (doi:10.1145/1291535.1291547)
  81. Gordon Fraser, Bernhard K. Aichernig, and Franz Wotawa. Handling model changes: Regression testing and test-suite update with model-checkers. In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), volume 190 (2) of Electronic Notes in Theoretical Computer Science, pages 33–46, 2007. (PDF) (doi:10.1016/j.entcs.2007.08.004)
  82. Bernhard K. Aichernig and Carlo Corrales Delgado. From faults via test purposes to test cases: on the fault-based testing of concurrent systems. In Luciano Baresi and Reiko Heckel, editors, Proceedings of FASE'06, Fundamental Approaches to Software Engineering, Vienna, Austria, March 27–29, 2006, volume 3922 of Lecture Notes in Computer Science, pages 324–338. Springer-Verlag, 2006. (PDF) (doi:10.1007/11693017_24)
  83. Bernhard K. Aichernig and Chris George. When model-based testing fails. In Proceedings of the Second Workshop on Model Based Testing (MBT 2006), Second Workshop on Model Based Testing 2006, volume 164 (4) of Electronic Notes in Theoretical Computer Science, pages 115–128, 2006. (PDF) (doi:10.1016/j.entcs.2006.09.009)
  84. Bernhard K. Aichernig. On the value of fault injection on the modeling level. In Nico Plat and Peter Gorm Larsen, editors, Overture Workshop, Newcastle upon Tyne, UK, July 18, 2005, 2005. (PDF)
  85. Bernhard K. Aichernig and Percy Antonio Pari Salas. Test case generation by OCL mutation and constraint solving. In Kai-Yuan Cai and Atsushi Ohnishi, editors, QSIC 2OO5, Fifth International Conference on Quality Software, Melbourne, Australia, September 19-21, 2005, pages 64–71. IEEE Computer Society Press, 2005. (PDF) (doi:10.1109/QSIC.2005.63)
  86. Bernhard K. Aichernig, He Jifeng, Zhiming Liu, and Mike Reed. Integrating theories and techniques for program modelling, design and verification. In Proceedings of the IFIP Working Conference on Verified Software: Theories, Tools, Experiments, Zürich, Switzerland, 10-13 October 2005, Lecture Notes in Computer Science. Springer-Verlag, 2005. To be published. (PDF)
  87. Sun Meng and Bernhard K. Aichernig. Coalgebraic component specification and verification in RSL. In Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2005, Dalian, China, December 5–8, 2005, pages 424–426. IEEE Computer Society, 2005. (doi:10.1109/PDCAT.2005.100)
  88. Sun Meng, Bernhard K. Aichernig, Luís Soares Barbosa, and Zhang Naixiao. A coalgebraic semantic framework for component-based development in UML. In Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004), volume 122 of Electronic Notes in Theoretical Computer Science, pages 229–245, 2005. (PDF) (doi:10.1016/j.entcs.2004.06.051)
  89. Li Dan and Bernhard K. Aichernig. Combining algebraic and model-based test case generation. In Proceedings of ICTAC 2004, the First International Colloquium on Theoretical Aspects of Computing, Guiyang, China 20-24 September 2004, volume 3407 of Lecture Notes in Computer Science, pages 250–264. Springer-Verlag, 2004. (PostScript) (PDF) (doi:10.1007/b107116)
  90. Sun Meng, Bernhard K. Aichernig, Luis S. Barbosa, and Zhang Naixiao. A coalgebraic semantic framework for component based development in UML. In Proceedings of Category Theory and Computer Science (CTCS'04), August 12th-14th, 2004, Copenhagen, Denmark, Electronic Notes in Theoretical Computer Science. Elsevier, 2004. (PostScript) (PDF)
  91. Bernhard K. Aichernig. Contract-based Testing. In Bernhard K. Aichernig and Tom Maibaum, editors, Formal Methods at the Crossroads: from Panacea to Foundational Support, volume 2757 of Lecture Notes in Computer Science. Springer-Verlag, 2003.
  92. Bernhard K. Aichernig. Test Derivation in a Refinement Process. In RCS'03, the 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments, June 3, 2003, Turku, Finland), 2003. (PostScript)
  93. Bernhard K. Aichernig. The Commuting V-Diagram: On the Relation of Refinement and Testing. In Proceedings of CSL/KGC 2003, the Annual Conference of the European Association for Computer Science Logic and 8th Kurt Gödel Colloquium, 25-30 August 2003, Vienna, Austria, Lecture Notes in Computer Science. Springer-Verlag, 2003. (PostScript)
  94. Sun Meng and Bernhard K. Aichernig. A Coalgebraic Calculus for Component Based Systems. In Proceedings of FACS'03, Workshop on Formal Aspects of Component Software, Satellite Workshop of the FM 2003, Pisa, Italy, September 8-9, 2003, 2003.
  95. Bernhard K. Aichernig. Contract-based mutation testing in the refinement calculus. In REFINE'02, the British Computer Society - Formal Aspects of Computing refinement workshop, Copenhagen, Denmark, July 20-21, 2002, affiliated with FME 2002, volume 70 No. 3 of Electronic Notes in Theoretical Computer Science. Elsevier, 2002. (PostScript) (PDF)
  96. Bernhard K. Aichernig. Test-case calculation through abstraction. In José Nuno Oliveira and Pamela Zave, editors, Proceedings of Formal Methods Europe 2001, FME 2001: Formal Methods for Increasing Software Productivity, March 12–16 2001, Berlin, Germany, volume 2021 of Lecture Notes in Computer Science, pages 571–589. Springer Verlag, 2001. (PostScript) (PDF)
  97. Bernhard K. Aichernig and Reinhold Kainhofer. Modeling and validating hybrid systems using VDM and Mathematica. In C.Micheal Holloway, editor, Lfm2000, Fifth NASA Langley Formal Methods Workshop, Williamsburg, Virginia, June 2000, number CP-2000-210100, pages 35–46. NASA, June 2000. (PostScript) (PDF)
  98. Bernhard K. Aichernig, Andreas Gerstinger, and Robert Aster. Formal specification techniques as a catalyst in validation. In Proceedings of the 5th IEEE High Assurance Systems Engineering Symposium (HASE 2000), November 15–17, Albuquerque, New Mexico, pages 203–207. IEEE, 2000. (PostScript) (PDF)
  99. Johann Hörl and Bernhard K. Aichernig. Requirements validation of a voice communication system used in air traffic control, an industrial application of light-weight formal methods (abstract). In Proceedings of the Fourth International Conference on Requirements Engineering (ICRE2000), June 19–23, 2000, Schaumburg, Illinois, page 190. IEEE, 2000. Selected as one of three best papers. (PostScript) (PDF)
  100. Bernhard K. Aichernig. Automated black-box testing with abstract VDM oracles. In John Fitzgerald and Peter Gorm Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, pages 57–66, September 1999. (PostScript)
  101. Bernhard K. Aichernig. Automated black-box testing with abstract VDM oracles. In M. Felici, K. Kanoun, and A. Pasquini, editors, Computer Safety, Reliability and Security: proceedings of the 18th International Conference, SAFECOMP'99, Toulouse, France, September 1999, volume 1698 of Lecture Notes in Computer Science, pages 250–259. Springer, 1999. (PostScript) (PDF)
  102. Bernhard K. Aichernig. Executable specifications in software reliability engineering. In 2nd Workshop on Formal Descriptions and Software Reliability (FDSR), Boca Raton, Florida, 31st of October 1999. (PostScript) (PDF)
  103. Bernhard K. Aichernig and Peter Lucas. Formale Methoden in der Praxis. In Unterlagen zum 1. Österreichischen ISA-EUNET Workshop, Wien. Österreichische Computer Gesellschaft, AK Software Qualität und Verläszlichkeit, 28. April 1999. (PostScript) (PDF)
  104. Johann Hörl and Bernhard K. Aichernig. Formal specification of a voice communication system used in air traffic control, an industrial application of light-weight formal methods using vdm++ (abstract). In J.M. Wing, J. Woodcock, and J. Davies, editors, Proceedings of FM'99 – Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, volume 1709 of Lecture Notes in Computer Science, page 1868. Springer, 1999. (PostScript) (PDF)
  105. Rudi Schlatte and Bernhard K. Aichernig. Database development of a work-flow planning and tracking system using VDM-SL. In John Fitzgerald and Peter Gorm Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, September 1999. (PostScript) (PDF)
  106. Bernhard K. Aichernig. Automated requirements testing with abstract oracles. In ISSRE'98: The Ninth International Symposium on Software Reliability Engineering, Paderborn, Germany, pages 21–22, IBM Thomas J.Watson Research Center, P.O.Box 218, Route 134, Yorktown Heights, NY, USA, November 1998. Ram Chillarege. ISBN 3-00-003410-2. (PostScript) (PDF)
  107. Bernhard K. Aichernig and Peter Gorm Larsen. A proof obligation generator for VDM-SL. In J. Fitzgerald, C.B. Jones, and P. Lucas, editors, FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, 1997. (PostScript) (PDF)
    108.
Subscribe to: Posts (Atom)