Bernhard Aichernig‘s Publications

This list is also available as BiBTeX file.
[1]
Florian Lorber, Amnon Rosenmann, Dejan Ničković, 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, volume 9268 of Lecture Notes in Computer Science, pages 288--304. Springer, 2015. [ bib | DOI ]
[2]
Bernhard K. Aichernig and Martin Tappler. "Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing". In Usages of Symbolic Execution - 1st International Workshop in conjunction with FM 2015, USE'15, Oslo, Norway, June 23, 2015. In press. [ bib | .pdf ]
[3]
Bernhard K. Aichernig, Dejan Ničković, and Stefan Tiran. "Scalable Incremental Test-case Generation from Large Behavior Models". In TAP'15, volume 9154 of Lecture Notes in Computer Science, pages 1--18. Springer, 2015. In press. [ bib ]
[4]
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, and Stefan Tiran. "Require, Test and Trace IT". In FMICS'15, volume 9128 of Lecture Notes in Computer Science, pages 113--127. Springer, 2015. In press. [ bib ]
[5]
Bernhard K. Aichernig and Florian Lorber. Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata. In Proceedings of the 11th Workshop on Advances in Model Based Testing, A-MOST 2015, co-located with ICST 2015. IEEE Computer Society, 2015. [ bib | .pdf ]
[6]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. MoMuT::UML - model-based mutation testing for UML. In IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. IEEE Computer Society, 2015. [ bib | DOI | .pdf ]
[7]
Bernhard K. Aichernig, Elisabeth Jöbstl, and Stefan Tiran. Model-based mutation testing via symbolic refinement checking. Science of Computer Programming, 97, Part 4(0):383--404, 2015. Special Issue: Selected Papers from the 12th International Conference on Quality Software (QSIC 2012). [ bib | DOI ]
[8]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, and Stefan Tiran. Killing strategies for model-based mutation testing. Software Testing, Verification and Reliability, 25(8):716--748, 2015. [ bib | DOI ]
[9]
Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Ničković, Rupert Schlick, Didier Simoneau, and Stefan Tiran. Integration of Requirements Engineering and Test-Case Generation via OSLC. In QSIC '14: Proceedings of the 2014 14th International Conference on Quality Software, pages 117--126, Dallas, USA, 2014. IEEE Computer Society. [ bib | DOI ]
[10]
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, volume 8666 of Lecture Notes in Computer Science, pages 49--64. Springer International Publishing, 2014. [ bib | DOI ]
[11]
Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korošec, Willibald Krenn, Rupert Schlick, and Birgit Vera Schmidt. Model-Based Mutation Testing of an Industrial Measurement Device. In TAP, volume 8570 of LNCS, pages 1--9. Springer, 2014. [ bib | .pdf ]
[12]
Bernhard K. Aichernig, Florian Lorber, Dejan Ničković, and Stefan Tiran. Require, Test and Trace IT. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2014. [ bib | http ]
[13]
Bernhard Aichernig, Florian Lukas Lorber, and Stefan Tiran. Formal Test-Driven Development with Verified Test Cases. In Joaquim Filipe Luis Ferreira Pires, Slimane Hammoudi and Rui César das Neves, editors, Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, pages 626--635, Lisbon, January 2014. SCITEPRESS - Science and Technology Publications. [ bib | DOI ]
[14]
Bernhard K. Aichernig, Florian Lorber, and Dejan Ničković. Time for Mutants - Model-Based Mutation Testing with Timed Automata. In Margus Veanes and Luca Viganò, editors, Tests and Proofs, volume 7942 of Lecture Notes in Computer Science, pages 20--38. Springer Berlin Heidelberg, 2013. [ bib | DOI ]
[15]
Bernhard K. Aichernig, Elisabeth Jöbstl, and Matthias Kegele. Incremental Refinement Checking for Test Case Generation. In Margus Veanes and Luca Viganò, editors, Tests and Proofs, volume 7942 of Lecture Notes in Computer Science, pages 1--19. Springer Berlin Heidelberg, 2013. [ bib | DOI ]
[16]
Bernhard K. Aichernig. Model-based mutation testing of reactive systems: from semantics to automated test-case generation. In Theories of Programming and Formal Methods, Lecture Notes in Computer Science, pages 23--36. Springer-Verlag, Berlin, Heidelberg, 2013. [ bib | DOI ]
[17]
Bernhard Aichernig, Florian Lukas Lorber, and Stefan Tiran. Integrating model-based testing and analysis tools via test case exchange. In IEEE Computer Society, editor, Proceedings of the 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering, pages 119--126. IEEE Computer Society, July 2012. [ bib | DOI ]
[18]
Bernhard K. Aichernig. Model-Based Mutation Testing: Theory and Application. Habilitation thesis, Graz University of Technology, Austria, January 2012. [ bib ]
[19]
Bernhard Aichernig, Florian Lorber, and Stefan Tiran. Formal Test-Driven Development with Verified Test Cases. Technical report, Institute for Software Technology (IST), Graz University of Technology, 2012. [ bib | http ]
[20]
Bernhard Klaus Aichernig. The science of killing bugs in a black box. In SBLP'12: Proceedings of the 16th Brazilian conference on Programming Languages, pages 6--11, Berlin, Heidelberg, 2012. Springer-Verlag. [ bib | DOI ]
[21]
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. [ bib | DOI ]
[22]
Bernhard K. Aichernig and Elisabeth Jöbstl. Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints. In Workshops Proc. of the IEEE 5th Int. Conf. on Software Testing, Verification and Validation (ICST 2012), pages 752--757. IEEE Computer Society, 2012. [ bib | DOI ]
[23]
Bernhard K. Aichernig and Elisabeth Jöbstl. Efficient Refinement Checking for Model-Based Mutation Testing. In QSIC '12: Proceedings of the 2012 12th International Conference on Quality Software, pages 21--30, Washington, DC, USA, 2012. IEEE Computer Society. [ bib | DOI ]
[24]
Sun Meng, Farhad Arbab, Bernhard K. Aichernig, Lcrmioara Atefnoaei, Frank S. de Boer, and Jan Rutten. Connectors as designs: Modeling, refinement and test case generation. Sci. Comput. Program., 77(7-8):799--822, 2012. [ bib | DOI ]
[25]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Efficient Mutation Killers in Action. In IEEE 4th Int. Conf. on Software Testing, Verification and Validation, ICST 2011, pages 120--129. IEEE Computer Society, 2011. [ bib | DOI ]
[26]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. UML in action: a two-layered interpretation for testing. SIGSOFT Softw. Eng. Notes, 36(1):1--8, 2011. [ bib | DOI ]
[27]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Efficient Mutation Killers in Action. In ICST '11: Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pages 120--129, Washington, DC, USA, 2011. IEEE Computer Society. [ bib | DOI ]
[28]
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, Berlin, Heidelberg, 2011. Springer-Verlag. [ bib | DOI ]
[29]
Bernhard K. Aichernig. A Systematic Introduction to Mutation Testing in Unifying Theories of Programming. In Paulo Borba, Ana Cavalcanti, Augusto Sampaio, and Jim Woodcook, editors, Testing Techniques in Software Engineering, volume 6153 of Lecture Notes in Computer Science, pages 243--287. Springer Berlin Heidelberg, 2010. [ bib | DOI | http ]
[30]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. UML in Action: A Two-Layered Interpretation for Testing. In 3rd IEEE International Workshop on UML and Formal Methods (UML&FM 2010), ACM Software Engineering Notes (SEN), pages 1--8, 2010. [ bib ]
[31]
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 Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, and Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 186--207. Springer-Verlag, 2010. [ bib ]
[32]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Model-based Mutation Testing of Hybrid Systems. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, and Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 228--249. Springer-Verlag, 2010. [ bib ]
[33]
Immo Grabe, Mohammad Mahdi Jaghoori, Joachim Klein, Sascha Klüppelholz, Andries Stam, Christel Baier, Tobias Blechmann, Bernhard K. Aichernig, Frank S. de Boer, and Andreas Griesmayer. The Credo Methodology - (Extended Version). In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, and Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers, volume 6286 of Lecture Notes in Computer Science, pages 41--69. Springer-Verlag, 2010. [ bib ]
[34]
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, and Willibald Krenn. Model-based mutation testing of hybrid systems. In FMCO'09: Proceedings of the 8th international conference on Formal methods for components and objects, pages 228--249, Berlin, Heidelberg, 2010. Springer-Verlag. [ bib ]
[35]
Harald Brandl, Martin Weiglhofer, and Bernhard K. Aichernig. Automated Conformance Verification of Hybrid Systems. In QSIC '10: Proceedings of the 2010 10th International Conference on Quality Software, pages 3--12, Washington, DC, USA, 2010. IEEE Computer Society. [ bib | DOI ]
[36]
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. Electron. Notes Theor. Comput. Sci., 266:33--48, 2010. [ bib | DOI ]
[37]
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, and Franz Wotawa. When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. In IEEE 3rd Int. Conf. on Software Testing, Verification and Validation (ICST 2010), pages 479--488. IEEE Computer Society, 2010. [ bib | DOI ]
[38]
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 FMCO'09: Proceedings of the 8th international conference on Formal methods for components and objects, pages 186--207, Berlin, Heidelberg, 2010. Springer-Verlag. [ bib ]
[39]
Rudolf Schlatte, Bernhard Aichernig, Andreas Griesmayer, and Marcel Kyas. Resource Modeling for Timed Creol Models. Electron. Notes Theor. Comput. Sci., 266:63--75, 2010. [ bib | DOI ]
[40]
Martin Weiglhofer and Bernhard K. Aichernig. Unifying input output conformance. In UTP'08: Proceedings of the 2nd international conference on Unifying theories of programming, pages 181--201, Berlin, Heidelberg, 2010. Springer-Verlag. [ bib | DOI ]
[41]
Franz Wotawa, Mihai Nica, and Bernhard K. Aichernig. Generating Distinguishing Tests using the MINION Constraint Solver. In ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, pages 325--330, Washington, DC, USA, 2010. IEEE Computer Society. [ bib | DOI ]
[42]
Martin Weiglhofer, Bernhard Aichernig, and Franz Wotawa. Fault-Based Conformance Testing in Practice. International Journal of Software and Informatics, 3(2--3):375--411, June/September 2009. Special double issue on Formal Methods of Program Development edited by Dines Bjoerner. [ bib | .pdf ]
[43]
Bernhard Aichernig, Andreas Griesmayer, Rudolf Schlatte, and Andries Stam. Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electron. Notes Theor. Comput. Sci., 243:3--14, 2009. [ bib | DOI ]
[44]
Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Meng Sun, and Jan Rutten. Fault-Based Test Case Generation for Component Connectors. In TASE '09: Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, pages 147--154, Washington, DC, USA, 2009. IEEE Computer Society. [ bib | DOI ]
[45]
Bernhard K. Aichernig, Harald Brandl, and Willibald Krenn. Qualitative Action Systems. In ICFEM '09: Proceedings of the 11th International Conference on Formal Engineering Methods, pages 206--225, Berlin, Heidelberg, 2009. Springer-Verlag. [ bib | DOI ]
[46]
Bernhard K. Aichernig, Harald Brandl, and Franz Wotawa. Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. Electron. Notes Theor. Comput. Sci., 253(2):53--69, 2009. [ bib | DOI ]
[47]
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, pages 61--81. Springer-Verlag, Berlin, Heidelberg, 2009. [ bib | DOI ]
[48]
Bernhard K. Aichernig and He Jifeng. Mutation testing in UTP. Form. Asp. Comput., 21(1-2):33--64, 2009. [ bib | DOI ]
[49]
Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, and Rudolf Schlatte. Dynamic Symbolic Execution of Distributed Concurrent Objects. In FMOODS '09/FORTE '09: Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, pages 225--230, Berlin, Heidelberg, 2009. Springer-Verlag. [ bib | DOI ]
[50]
Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, and Rudolf Schlatte. Dynamic Symbolic Execution for Testing Distributed Objects. In TAP '09: Proceedings of the 3rd International Conference on Tests and Proofs, pages 105--120, Berlin, Heidelberg, 2009. Springer-Verlag. [ bib | DOI ]
[51]
Willibald Krenn and Bernhard K. Aichernig. Test Case Generation by Contract Mutation in Spec#. Electron. Notes Theor. Comput. Sci., 253(2):71--86, 2009. [ bib | DOI ]
[52]
Bernhard K. Aichernig, He Jifeng, Zhiming Liu, and Mike Reed. Integrating Theories and Techniques for Program Modelling, Design and Verification. In Verified Software: Theories, Tools, Experiments, volume 4171 of Lecture Notes in Computer Science, pages 291--300. Springer-Verlag, Berlin, Heidelberg, 2008. [ bib | DOI ]
[53]
Bernhard K. Aichernig, He Jifeng, Zhiming Liu, and Mike Reed. Integrating Theories and Techniques for Program Modelling, Design and Verification. In Bertrand Meyer and Jim Woodcock, editors, Verified Software: Theories, Tools, Experiments, volume 4171 of Lecture Notes in Computer Science, pages 291--300. Springer Berlin Heidelberg, 2008. [ bib | DOI | http ]
[54]
Bernhard K. Aichernig, Martin Weiglhofer, and Franz Wotawa. Improving Fault-based Conformance Testing. Electron. Notes Theor. Comput. Sci., 220(1):63--77, 2008. [ bib | DOI ]
[55]
Rudolf Schlatte, Bernhard Aichernig, Frank Boer, Andreas Griesmayer, and Einar Broch Johnsen. Testing Concurrent Objects with Application-Specific Schedulers. In Proceedings of the 5th international colloquium on Theoretical Aspects of Computing, pages 319--333, Berlin, Heidelberg, 2008. Springer-Verlag. [ bib | DOI ]
[56]
Bernhard K. Aichernig and Jifeng He. Refinement and Test Case Generation in UTP. 187:125--143, 2007. [ bib | DOI ]
[57]
Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, and Franz Wotawa. Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. In SEFM '07: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, pages 215--226, Washington, DC, USA, 2007. IEEE Computer Society. [ bib | DOI ]
[58]
Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, and Franz Wotawa. Test purpose generation in an industrial application. In A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing, pages 115--125, New York, NY, USA, 2007. ACM. [ bib | DOI ]
[59]
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. Elsevier, 2007. [ bib | DOI ]
[60]
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. [ bib ]
[61]
Bernhard K. Aichernig and Carlo Corrales Delgado. From faults via test purposes to test cases: on the fault-based testing of concurrent systems. In FASE'06: Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering, pages 324--338, Berlin, Heidelberg, 2006. Springer-Verlag. [ bib | DOI ]
[62]
Bernhard K. Aichernig and Chris George. When Model-based Testing Fails. Electronic Notes in Theoretical Computer Science, 164(4):115--128, 2006. [ bib | DOI ]
[63]
Bernhard K. Aichernig and Jifeng He. Refinement and Test Case Generation in UTP. Electronic Notes in Theoretical Computer Science, 187:125--143, 2006. [ bib | DOI ]
[64]
Luís S. Barbosa, Sun Meng, Bernhard K. Aichernig, and Nuno Rodrigues. Mathematical Frameworks for Component Software: Models for Analysis and Synthesis, volume 2 of Series on Component-Based Software Development, chapter 3: On the Semantics of Componentware: a Coalgebraic Perspective, pages 69--118. World Scientific, 2006. ISBN 981-270-017-X. [ bib ]
[65]
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. [ bib | .pdf ]
[66]
Bernhard K. Aichernig and Percy Antonio Pari Salas. Test Case Generation by OCL Mutation and Constraint Solving. In QSIC '05: Proceedings of the Fifth International Conference on Quality Software, pages 64--71, Washington, DC, USA, 2005. IEEE Computer Society. [ bib | DOI ]
[67]
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. IEEE Computer Society Press, 2005. [ bib ]
[68]
Li Dan and Bernhard K. Aichernig. Combining algebraic and model-based test case generation. In ICTAC'04: Proceedings of the First international conference on Theoretical Aspects of Computing, pages 250--264, Berlin, Heidelberg, 2005. Springer-Verlag. [ bib | DOI ]
[69]
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. IEEE Computer Society, 2005. [ bib ]
[70]
Sun Meng, Bernhard K. Aichernig, Luís S. Barbosa, and Zhang Naixiao. A Coalgebraic Semantic Framework for Component-based Development in UML. Electron. Notes Theor. Comput. Sci., 122:229--245, 2005. [ bib | DOI ]
[71]
Sun Meng, Bernhard K. Aichernig, and Zhang Naixiao. Coalgebraic Component Specification and Verification in RSL. In PDCAT '05: Proceedings of the Sixth International Conference on Parallel and Distributed Computing Applications and Technologies, pages 424--426, Washington, DC, USA, 2005. IEEE Computer Society. [ bib | DOI ]
[72]
Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig. The Formal Foundations in RSL for UML Statechart Diagrams. Acta Scientiarum Naturalium Universitatis Pekinensis, 41(3):344--357, 2005. [ bib ]
[73]
Sun Meng, Zhang Naixiao, and Bernhard K. Aichernig. "The Formal Foundations in RSL for UML Statechart Diagrams". Acta Scientiarum Naturalium Universitatis Pekinensis, 41(3):344--357, 2005. ISSN 0479-8023. [ bib | http | .pdf ]
[74]
Bernhard K. Aichernig and Chris George. When specification-based testing fails. In Proceedings of PRISE 2004, the First Conference on the PRInciples of Software Engineering, Buenos Aires, Argentina, November 22 - 27, 2004., 2004. [ bib ]
[75]
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. [ bib ]
[76]
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, pages 34--48. Springer-Verlag, 2003. [ bib ]
[77]
Bernhard K. Aichernig. Mutation Testing in the Refinement Calculus. Formal Aspects of Computing Journal, 15(2):280--295, 2003. [ bib ]
[78]
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. [ bib ]
[79]
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. [ bib ]
[80]
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. [ bib ]
[81]
Bernhard K. Aichernig. "Mutation Testing in the Refinement Calculus". Formal Aspects of Computing, 15(2-3):280--295, 2003. [ bib | DOI ]
[82]
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. [ bib ]
[83]
Bernhard K. Aichernig. Test-Design through Abstraction --- a Systematic Approach Based on the Refinement Calculus. Journal of Universal Computer Science, 7(8):710--735, August 2001. [ bib ]
[84]
Bernhard K. Aichernig. Test-Design through Abstraction --- a Systematic Approach Based on the Refinement Calculus. Journal of Universal Computer Science, 7(8):710--735, August 2001. [ bib | DOI | .pdf ]
[85]
Bernhard Aichernig. Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques. PhD thesis, Institute for Software Technology, TU Graz, Austria, January 2001. Supervisor: Peter Lucas. [ bib ]
[86]
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. [ bib ]
[87]
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, pages 35--46. NASA, June 2000. CP-2000-210100. [ bib ]
[88]
Johann Hörl and Bernhard K. Aichernig. Validating Voice Communication Requirements Using Lightweight Formal Methods. IEEE Software, 17(3):21--27, 2000. [ bib | DOI ]
[89]
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. [ bib ]
[90]
Johann Hörl and Bernhard K. Aichernig. Requirements Validation of a Voice Communication System Used in Air Traffic Control. In ICRE '00: Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00), page 190, Washington, DC, USA, 2000. IEEE Computer Society. [ bib ]
[91]
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. [ bib ]
[92]
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. [ bib ]
[93]
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. [ bib ]
[94]
Bernhard K. Aichernig and Andreas Kerschbaumer. Property Orientation in the Model Oriented Vienna Development Method (VDM). Technical Report IST-TEC-99-02, Institute for Software Technology (IST), Graz University of Technology, February 1999. Presented at VDM-Workshop at FM'99, Toulouse, France, September 20--24. [ bib ]
[95]
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++. Technical Report IST-TEC-99-03, Institute for Software Technology (IST), Graz University of Technology, February 1999. [ bib ]
[96]
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. [ bib ]
[97]
Bernhard K. Aichernig. Test-Case Generation as a Refinement Problem. Technical Report IST-TEC-99-21, Institute for Software Technology (IST), Graz University of Technology, 1999. [ bib ]
[98]
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. [ bib ]
[99]
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. [ bib ]
[100]
Johann Hörl and Bernhard K. Aichernig. Formal Specification of a Voice Communication System Used in Air Traffic Control. In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II, page 1868, London, UK, UK, 1999. Springer-Verlag. [ bib ]
[101]
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. [ bib ]
[102]
Bernhard K. Aichernig. A Telephone Exchange Specification in VDM-SL. Technical Report IST-TEC-98-04, Institute for Software Technology (IST), Graz University of Technology, December 1998. [ bib ]
[103]
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. [ bib ]
[104]
Bernhard K. Aichernig. Teaching Programming to the Uninitiated using Mathematica. Technical Report IST-TEC-98-03, Institute for Software Technology (IST), Graz University of Technology, May 1998. [ bib ]
[105]
Bernhard K. Aichernig and Andreas Kerschbaumer. Static and Dynamic Semantics of a Simple Programming Language. Technical Report IST-TEC-98-01, Institute for Software Technology (IST), Graz University of Technology, May 1998. (PostScript available on demand). [ bib ]
[106]
Bernhard K. Aichernig and Peter Lucas. Softwareentwicklung --- eine Ingenieursdisziplin!(?). Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 4(2):2--8, 1998. ISSN 1028-5068. [ bib ]
[107]
Bernhard K. Aichernig. A Proof Obligation Generator for the IFAD VDM-SL Toolbox. Master's thesis, Institute for Software Technology, TU-Graz, Austria, March 1997. Supervisor: Peter Gorm Larsen and Peter Lucas. [ bib ]
[108]
Bernhard K. Aichernig. A Proof Obligation Generator for the IFAD VDM-SL Toolbox. Master's thesis, Institute for Software Technology, TU-Graz, Austria, March 1997. Supervisor: Peter Gorm Larsen and Peter Lucas. [ bib ]
[109]
Bernhard K. Aichernig. FME'97 --- Formale Methoden in Graz. Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV), 3(3):34--35, 1997. ISSN 1028-5068. [ bib ]
[110]
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. [ bib ]
[111]
Bernhard K. Aichernig and Peter Gorm Larsen. A Proof Obligation Generator for VDM-SL. In FME '97: Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods, pages 338--357, London, UK, UK, 1997. Springer-Verlag. [ bib ]

This file was generated by bibtex2html 1.98.