Conference Papers

Peer-reviewed conference and workshop papers:
  1. Bernhard K. Aichernig and Richard Schumi. Statistical model checking meets property-based testing. In 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, 13-17 March, 2017. IEEE Computer Society, 2017. In press. (PDF)
  2. 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. IEEE Computer Society, 2017. In press. (PDF)
  3. Martin Tappler, Bernhard K. Aichernig, and Roderick Bloem. Model-based testing IoT communication via active automata learning. In 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, 13-17 March, 2017. IEEE Computer Society, 2017. In press. (PDF)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. 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)
  9. 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)
  10. 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)
  11. 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)
  12. 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)
  13. 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)
  14. 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)
  15. 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)
  16. 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)
  17. 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)
  18. 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)
  19. 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)
  20. 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)
  21. 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)
  22. 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)
  23. 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)
  24. 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)
  25. 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)
  26. 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)
  27. 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)
  28. 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)
  29. 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)
  30. 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)
  31. 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)
  32. 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)
  33. 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)
  34. 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)
  35. 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)
  36. 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)
  37. 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)
  38. 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)
  39. 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)
  40. 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)
  41. 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)
  42. 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)
  43. 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)
  44. 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)
  45. 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)
  46. 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)
  47. 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)
  48. 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)
  49. 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)
  50. 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)
  51. 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)
  52. 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)
  53. 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)
  54. 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)
  55. 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)
  56. 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)
  57. 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)
  58. 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)
  59. 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)
  60. 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.
  61. 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)
  62. 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)
  63. 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.
  64. 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)
  65. 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)
  66. 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)
  67. 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)
  68. 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)
  69. 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)
  70. 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)
  71. 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)
  72. 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)
  73. 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)
  74. 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)
  75. 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)
  76. 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)