tag:blogger.com,1999:blog-18291831780352332662024-02-19T05:37:16.481+01:00Bernhard K. AichernigUnknownnoreply@blogger.comBlogger55125tag:blogger.com,1999:blog-1829183178035233266.post-77057750675918287612024-01-23T12:31:00.004+01:002024-02-14T10:35:08.146+01:00Activities in 2024<p> </p><ul><li>Dean of Studies of the Faculty of Computer Science at TU Graz</li><li>Key Researcher in the research projects <a href="https://learntwins.ist.tugraz.at/">LearnTwins</a> and <a href="https://www.aidoart.eu/">AIDoARt</a> (both projects got extended)</li><li>Co-Manager and key researcher of the <a href="https://www.tugraz.at/en/tu-graz/services/news-stories/tu-graz-news/singleview/article/erste-tu-graz-sal-research-labs-forcieren-spitzenforschung-an-elektronikbasierten-systemen0/">TU Graz - SAL Dependable Embedded Systems Lab</a> (DES Lab) </li><li>Steering board member of <a href="https://www.univ-orleans.fr/lifo/events/TAP2021/">TAP</a>, the International Conference on Tests and Proofs</li><li>PC Member of several peer-reviewed conferences and workshops, including</li><ul>
<li><a href="https://www.ecai2024.eu">ECAI 2024</a>, 27th European Conference on Artificial Intelligence</li>
<li><a href="https://fmics.inria.fr/2024/">FMICS 2024</a>, 29th
International Conference on Formal Methods for Industrial Critical
Systems<br /></li><li><a href="https://conf.researchr.org/home/icst-2024/a-most-2024">A-MOST 2024</a>, 20th Workshop on Advances in Model Based Testing</li>
</ul><li>Teaching </li><ul><li>Software Paradigms (Bachelor-level)</li><li>Declarative Programming (Bachelor-level)</li><li>Quality Assurance in Software Development (Bachelor-level)</li><li>Model-based Testing (MSc-level)</li></ul></ul>Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-73493381147168266812023-11-14T12:32:00.011+01:002023-11-14T18:22:00.316+01:00Activities in 2023<p> </p><ul style="text-align: left;"><li>Key Researcher in the research projects <a href="https://learntwins.ist.tugraz.at/">LearnTwins</a> and <a href="https://www.aidoart.eu/">AIDoARt</a>.</li><li>Co-Manager and key researcher of the <a href="https://www.tugraz.at/en/tu-graz/services/news-stories/tu-graz-news/singleview/article/erste-tu-graz-sal-research-labs-forcieren-spitzenforschung-an-elektronikbasierten-systemen0/">TU Graz - SAL Dependable Embedded Systems Lab</a> (DES Lab) </li><li>Steering board member of <a href="https://www.univ-orleans.fr/lifo/events/TAP2021/">TAP</a>, the International Conference on Tests and Proofs</li><li>Invited speaker at the following events:</li><ul><li><a href="https://aisola.org">AISOLA 2023</a>, 1st Artificial Intelligence ISoLA, Track on AI Assisted Programming, 23-28 October 2023, Crete, Greece.</li><li><a href="https://tarot-school.org">TAROT 2023</a> Summer School on Software Testing, Verification & Validation, 3rd to 7th of July 2023, King's College, London, UK.</li><li><a href="http://www.mrtc.mdh.se/ITEQS/2023/">ITEQS 2023</a>, 7th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, 16th of April 2023, Dublin, Ireland.</li></ul><li>PC Member of several peer-reviewed conferences, including</li><ul><li><a href="https://www.bcs.org/events-calendar/2023/september/webinar-jifengat80-theories-of-programming-and-formal-methods/">Theories of Programming and Formal Methods</a>: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. </li><li><a href="https://bristolpl.github.io/tase2023/">Theoretical Aspects of Software Engineering</a> (TASE 23)</li><li><a href="https://conf.researchr.org/home/icst-2023/a-most-2023">19th Workshop on Advances in Model-Based Software Testing</a> (A-MOST 23),</li></ul><li>Teaching </li><ul><li>Software Paradigms (Bachelor-level)</li><li>Declarative Programming (Bachelor-level)</li><li>Quality Assurance in Software Development (Bachelor-level)</li><li>Model-based Testing (MSc-level)</li></ul></ul>Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-81366901437064700482022-12-13T11:02:00.000+01:002022-12-13T11:02:54.237+01:00CVBernhard K. Aichernig is a tenured associate professor (ao. Univ.-Prof.) at Graz
University of Technology, Austria. With his research group he investigates the foundations of
software engineering for realising dependable computer-based systems.
Bernhard is an expert in formal methods and testing. His research
covers a variety of areas combining falsification, verification, and
abstraction techniques. Current topics include the Internet of Things, test-case generation, automata learning, and statistical model checking. <div>Since 2020, he leads the TU Graz - SAL Dependable Embedded Systems Lab (DES Lab) with fundamental research in zero-bug software and dependable AI.</div><div>He
participated in five European projects. From 2004-2016 Bernhard served
as a board member of Formal Methods Europe, the association that
organises the Formal Methods symposia. From 2002 to 2006 he had a
faculty position at the United Nations University in Macao S.A.R.,
China. Bernhard holds a habilitation in Practical Computer Science and
Formal Methods, a doctorate, and a diploma engineer degree from Graz
University of Technology.</div>Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-42655988353251218012022-12-13T10:48:00.001+01:002022-12-13T10:51:24.977+01:00Activities in 2022<p> Here is a summary of my activities in 2022.</p><ul style="text-align: left;"><li>Key Researcher in three research projects <a href="http://www.tugraz.at/projekte/dependablethings/home/">Dependable Things</a>, <a href="https://learntwins.ist.tugraz.at/">LearnTwins</a>, and <a href="https://www.aidoart.eu/">AIDoARt</a></li><li>Co-Head and key researcher of the <a href="https://www.tugraz.at/en/tu-graz/services/news-stories/tu-graz-news/singleview/article/erste-tu-graz-sal-research-labs-forcieren-spitzenforschung-an-elektronikbasierten-systemen0/">TU Graz - SAL Dependable Embedded Systems Lab</a> (DES Lab) </li><li>Steering board member of <a href="https://www.univ-orleans.fr/lifo/events/TAP2021/">TAP</a>, the International Conference on Tests and Proofs</li><ul></ul><li>PC Member of </li><ul><li><a href="https://conferences.ncl.ac.uk/formats2022/">FORMATS 2022</a>, the 20th Intern. Conference on Formal Modeling and Analysis of Timed Systems</li><li><a href="https://www.sigapp.org/sac/sac2022/">SAC 2022</a>, 37th ACM/SIGAPP Symposium on Applied Computing</li><li><a href="https://icst2022.vrain.upv.es/track/a-most-2022">A-MOST 2022</a>, 18th Workshop on Advances in Model Based Testing</li></ul><li>Member of the selection board for external master students in the programme Software Engineering and Management</li><li>Teaching </li><ul><li>Software Paradigms (Bachelor-level, 287 students)</li><li>Declarative Programming (Bachelor-level, 266 students)</li><li>Quality Assurance in Software Development (Bachelor-level, 204 students)</li><li>Model-based Testing (MSc-level)</li><li>Formal Specification and Design of Software (MSc-level)</li></ul></ul>Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-25759337034160467432021-10-29T09:55:00.005+02:002022-12-13T10:30:13.726+01:00Activities in 2021<p> Here is a summary of my activities in 2021. This list will be updated as tasks come along.</p><ul style="text-align: left;"><li>Key Researcher in three research projects <a href="http://www.tugraz.at/projekte/dependablethings/home/">Dependable Things</a>, <a href="https://learntwins.ist.tugraz.at/">LearnTwins</a>, and <a href="https://www.aidoart.eu/">AIDoARt</a></li><li>Co-Head and key researcher of the <a href="https://www.tugraz.at/en/tu-graz/services/news-stories/tu-graz-news/singleview/article/erste-tu-graz-sal-research-labs-forcieren-spitzenforschung-an-elektronikbasierten-systemen0/">TU Graz - SAL Dependable Embedded Systems Lab</a> (DES Lab) </li><li>Invited speaker at the <a href="https://www.avl.com/ja/web/guest/-/avl-research-networking-day-2021">AVL ITS R&T Research Networking Day 2021</a> and <a href="http://isola-conference.org/isola2021/">ISOLA 2021</a></li><li>Steering board member of <a href="https://www.univ-orleans.fr/lifo/events/TAP2021/">TAP</a>, the International Conference on Tests and Proofs</li><ul></ul><li>PC Member of </li><ul><li><a href="http://lcs.ios.ac.cn/fm2021/">FM 2021</a>, 24th International Symposium on Formal Methods</li><li><a href="https://ictac2021.github.io/">ICTAC 2021</a>, 18th International Colloquium on Theoretical Aspects of Computing</li><li><a href="https://www.univ-orleans.fr/lifo/events/TAP2021/">TAP 2021</a>, 15th International Conference on Tests and Proofs</li><li><a href="http://ictss2021.cs.ucl.ac.uk/index.html">IFIP ICTSS 2021</a>, 33rd International Conference on Testing Software and Systems</li><li><a href="https://icst2021.icmc.usp.br/home/a-most-2021">A-MOST 2021</a>, 17th Workshop on Advances in Model Based Testing</li><li><a href="http://www.mrtc.mdh.se/ITEQS/2021/">ITEQS 2021</a>, 5th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems</li><li><a href="https://www.sigapp.org/sac/sac2022/">SAC 2022</a>, 37th ACM/SIGAPP Symposium on Applied Computing</li></ul><li>Reviewer for the journals</li><ul><li><a href="https://www.journals.elsevier.com/science-of-computer-programming">Science of Computer Programming</a></li><li><a href="https://www.springer.com/journal/10009">Software Tools for Technology Transfer</a></li><li><a href="https://peerj.com/computer-science/">PeerJ Computer Science</a></li></ul><li>External examiner at the PhD defence of Niveditha Manjunath, TU Vienna: <i>Fault-Based Analysis of Cyber Physical Systems</i>.</li><li>Member of the selection boards for external master students in the programmes Computer Science and Software Engineering and Management</li><li>Teaching </li><ul><li>Software Paradigms (Bachelor-level, 207 students)</li><li>Declarative Programming (Bachelor-level, 190 students)</li><li>Quality Assurance in Software Development (Bachelor-level, 165 students)</li><li>Model-based Testing (MSc-level)</li><li>Formal Specification and Design of Software (MSc-level)</li></ul></ul>Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-25788964815158937692020-09-03T11:33:00.000+02:002020-09-03T11:33:25.090+02:00Postdoc position on Formal Methods and Testing @ TU Graz, Austria<p>I am looking for a University Assistant (postdoc) to join my research group at Graz University of Technology, Austria. We do research in the areas of formal methods, testing and automata learning. The group combines verification, falsification, modelling, and learning.</p><p>The postdoc will do fundamental research in the new TU Graz-SAL Dependable Embedded Systems Lab (DES Lab) where we research new methods for zero-bug software and dependable AI. In the DES Lab she/he will collaborate with SAL (https://silicon-austria-labs.com) and a team around six well-known researchers of TU Graz: Marcel Baunach (embedded systems), Roderick Bloem (verification, synthesis), Robert Legenstein (computational neuroscience, machine learning), Stefan Mangard (security), Thomas Pock (optimisation, machine learning), and myself.</p><p>Needed qualification: completed doctoral studies in computer science, software engineering or a comparable subject.</p><p>Wanted qualifications:</p><p></p><ul style="text-align: left;"><li>Basic knowledge and research experience in one or more of the following areas:</li><ul><li> Model-based testing and test case generation</li><li> Formal development methods (TLA+, Event-B, ...)</li><li> Verification (Model Checking, Theorem Proving)</li><li> Automata Learning (Model Inference)</li><li> Symbolic execution</li><li>Testing/verification of machine learning components</li><li>Testing/verification of embedded systems</li><li>Testing/verification of temporal and stochastic systems</li></ul><li>Successful thematically relevant publication activity</li><li>Interest in participating in teaching</li><li>Very good knowledge of English</li></ul><p></p><p><b>Application deadline: 30 Sep 2020.</b></p><p>For further details and information how to apply, see: <a href="https://www.tugraz.at/fakultaeten/csbme/news/jobs-grants-calls/7160-20-036/">https://www.tugraz.at/fakultaeten/csbme/news/jobs-grants-calls/7160-20-036/</a></p><p>A brief description of the DES Lab can be found on my homepage: <a href="https://aichernig.blogspot.com">https://aichernig.blogspot.com</a></p><p>In case of questions, feel free to contact me via email: Bernhard Aichernig <aichernig@ist.tugraz.at></p>Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-73819336545346139292020-01-29T14:08:00.000+01:002020-01-29T14:53:26.641+01:00New Research Lab: Dependable Embedded Systems Lab (DES Lab)I will manage a new research lab that has been launched by TU Graz and Silicon Austria Labs (SAL). The <b>TU Graz - SAL Dependable Embedded Systems Lab</b> (DES Lab) will carry out fundamental research in order to provide dependability of modern computer-based systems. Top computer scientists from TU Graz will be working here together with researchers from SAL on the development of new methods to make intelligent and networked systems more dependable (safety, security, availability, correctness, ...). To this end, the DES Lab will conduct interdisciplinary basic research in the areas of testing, verification, machine learning, optimisation and hardware-related software development with a special focus on security and dependability.
<br />
<b><br /></b>
<b>Idea and Motivation.</b> With recent advances in Internet connectivity, network enabled devices have become a substantial part of our everyday lives, extending into areas of increasing importance and criticality. Consequently, those systems must meet high standards with respect to dependability: Systems must be secure, safe, correct, reliable, maintainable, adaptable, and robust. However, these requirements for dependability are challenged by the growing complexity of modern embedded systems. On one hand, embedded systems are integrated into systems of systems that pool their resources and capabilities in order to offer more functionality and performance than simply the sum of its constituents. On the other hand, we face a paradigm shift towards more intelligent and highly adaptive systems where quality guarantees are hard to achieve. The opportunities seem unlimited, and yet these characteristics appear to be overwhelming in their complexity that any assurances of dependability seem out of reach.
<br />
<ol>
<li><span style="font-family: inherit;"><span style="font-weight: 300;">Our answer to this problem is twofold: </span><span style="font-weight: 300;">dependable embedded systems require rigor: the complexity has to be mastered by precise abstraction techniques that enable compositional specification and verification; </span></span></li>
<li><span style="font-family: inherit; font-weight: 300;"> smart embedded systems demand smart development methods: the complexity due to “intelligent” software has to be mastered by new "intelligent" and rigorous software and methods.</span></li>
</ol>
<span style="font-family: inherit;"><span style="font-weight: 300;">The following </span><span style="font-weight: 300;"><b>researchers </b></span><span style="font-weight: 300;">from TU Graz together with researchers from SAL will collaborate in the DES Lab: </span><span style="font-family: "source sans pro";"><br /></span></span><br />
<ul><span style="font-family: inherit;"><span style="font-family: "source sans pro";">
<li><span style="font-weight: 300;"><a href="http://aichernig.blogspot.com/">Bernhard K. Aichernig</a></span></li>
<li><span style="font-weight: 300;"><a href="https://www.iaik.tugraz.at/person/roderick-bloem/">Roderick Bloem</a></span></li>
<li><span style="font-weight: 300;"><a href="https://www.tugraz.at/en/institutes/iti/institute/team/prof-marcel-baunach/">Marcel Baunach</a></span></li>
<li><span style="font-weight: 300;"><a href="https://www.tugraz.at/institute/igi/people/prof-legenstein/">Robert Legenstein</a></span></li>
<li><span style="font-weight: 300;"><a href="https://www.iaik.tugraz.at/person/stefan-mangard/">Stefan Mangard</a></span></li>
<li><span style="font-weight: 300;"><a href="https://www.tugraz.at/institutes/icg/research/team-pock/team/pock/">Thomas Pock</a></span></li>
</span></span></ul>
<span style="font-family: inherit;"><span style="font-family: "source sans pro";">
Further information on the general idea behind the joint research labs can be found in the <a href="https://www.tugraz.at/en/tu-graz/services/news-stories/tu-graz-news/singleview/article/erste-tu-graz-sal-research-labs-forcieren-spitzenforschung-an-elektronikbasierten-systemen0/">press release</a>.
</span></span>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-46991956980298856032019-05-13T21:19:00.000+02:002019-05-13T21:19:27.283+02:009 PhD Positions in "Dependable Internet of Things"I am hiring a PhD in Model-based Testing and Automata Learning as part of<br />
<b><br /></b>
<b>9 University Assistant Positions in "Dependable Internet of Things"</b><br />
<b>Graz University of Technology, Austria</b><br />
<br />
The Excellence Research Center "Dependable Internet of Things in Adverse Environments" at Graz University of Technology (TU Graz) has been established in 2016 and has been extended until 2021 after a successful midterm evaluation. For further information see <a href="http://dependablethings.tugraz.at/">http://dependablethings.tugraz.at</a>. The mission of this long-term center is to foster a highly interdisciplinary research team spanning the computer science and electrical engineering faculties to lay the scientific foundations for an Internet of Things that is highly reliable, safe, and secure in order to enable critical applications that require guaranteed performance and long-term operation even in adverse environments. The center is seeking to fill 9 University Assistant positions with excellent candidates, who will pursue their PhD working closely together in three sub-projects that focus on the following topics:<br />
<br />
1. Dependable Wireless Communication and Localization: one position in wireless networking (Institute for Technical Informatics), one position in physical layer signal processing (Signal Processing and Speech Communication Lab), and one position in tunable microwave frontends (Institute for Microwave and Photonic Engineering).<br />
<br />
2. Verified Dependability by Design: one position in embedded security and one position in formal verification (both at Institute of Applied Information Processing and Communications), one position in real-time operating systems (Institute for Technical Informatics), one position in model-based testing (Institute for Software Technology).<br />
<br />
3. Dependable Multi-Agent Systems: one position in robotics (Institute for Software Technology), and one position in information and control theory (Signal Processing and Speech Communication Lab).<br />
<br />
Applicants must hold a Master degree (or equivalent) in computer engineering, computer science, electrical engineering, or a related field before they can take on the position. Proficiency in the English language (spoken and written) is required. Applicants should be highly motivated, take initiative and responsibility, be able to work independently and in an interdisciplinary team, should have interest in scientific research, be committed to publish research results and to obtain a doctoral degree (PhD).<br />
<br />
The positions are to be filled as soon as possible from July 2019 with an initial appointment for three years. Each position is remunerated according to the collective contract (Kollektivvertrag) for Austrian Universities, salary scale B1, the annual salary amounts to 40.103 EUR/year before taxes and may increase in case of relevant prior work experience.<br />
<br />
TU Graz aims to increase the number of female employees and therefore specifically invites qualified women to apply.<br />
<br />
TU Graz is a leading technical university in Austria (rank 75-100 in Shanghai subject ranking "Computer Science & Engineering") in a medium-sized city with a very high quality of life, located at the south-eastern foot of the Alps, offering plentiful recreation opportunities.<br />
<br />
Applicants should fill in the application form at <a href="http://dependablethings.tugraz.at/jobs">http://dependablethings.tugraz.at/jobs</a> and upload it together with a transcript of records, a copy of the master's degree, a recent certificate of the level of proficiency of the English language, a copy of the master's thesis, and any recommendation letter of your former advisor(s) at <a href="http://lampz.tugraz.at/~dependablethings/">http://lampz.tugraz.at/~dependablethings/</a>. The application deadline is <b>07.06.2019</b>. The ID of this job post is 4480/19/010. For further information please contact the center coordinator Prof. Kay Roemer <roemer@tugraz.at>.<br />
<br />Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-54419261229015343582019-04-16T12:54:00.000+02:002019-06-03T10:01:26.686+02:00Professional Activities in 2019Here is a summary of my activities in 2019. This list will be updated as tasks come along.<br />
<ul>
<li>Key Researcher in the project <a href="http://www.tugraz.at/projekte/dependablethings/home/">Dependable Things</a> </li>
<li>Invited speaker at <a href="https://www.cs.york.ac.uk/circus/utp2019/">UTP 2019</a>, the 7th International Symposium on Unifying Theories of Programming, celebrating <a href="https://en.wikipedia.org/wiki/Tony_Hoare">Tony Hoare</a>'s 85th birthday, Porto, Portugal, 8 Oct 2019.</li>
<li>Member of <a href="https://www.avl.com/">AVL</a>'s Strategic Research Partnership Program (AVL SRP), subtopic: Intelligent Cognitive Systems. </li>
<li>Steering board member of <a href="https://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=1&cad=rja&uact=8&ved=2ahUKEwizpNbl6sziAhVEPFAKHQ5YCF4QFjAAegQIARAB&url=https%3A%2F%2Ftap.sosy-lab.org%2F2019%2F&usg=AOvVaw3J5i7ErrdUVZM4VMAD_PNp">TAP</a>, the International Conference on Tests and Proofs</li>
<ul></ul>
<li>PC Member of </li>
<ul>
<li><a href="http://formalmethods2019.inesctec.pt/">FM 2019</a>, 23rd International Symposium on Formal Methods</li>
<li><a href="https://www.cs.york.ac.uk/circus/utp2019/">UTP 2019</a>, 7th International Symposium on Unifying Theories of Programming</li>
<li><a href="http://ifm2019.hvl.no/">iFM 2019</a>, 15th International Conference on integrated Formal Methods</li>
<li><a href="https://fmics2019.fsa.win.tue.nl/">FMICS2019</a>, Formal Methods for Industrially Critical Systems</li>
<li><a href="http://The 31st IFIP International Conference on Testing Software and Systems">IFIP ICTSS 2019</a>, 31st International Conference on Testing Software and Systems</li>
<li><a href="http://csse.szu.edu.cn/icfem2019/">ICFEM 2019</a>, 21st International Conference on Formal Engineering Methods</li>
<li><a href="https://amost2019.github.io/">A-MOST 2019</a>, 15th Workshop on Advances in Model Based Testing</li>
<li><a href="https://refinenet.github.io/">Refine 2019</a>, Refinement Workshop</li>
<li><a href="http://www.mrtc.mdh.se/ITEQS/2019/">ITEQS 2019</a>, 3rd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems</li>
</ul>
<li>Guest Editor of the Wiley journal <a href="https://onlinelibrary.wiley.com/journal/10991689">Software Testing, Verification and Reliability</a> (STVR) for a special issue on Testing Extra-Functional Properties. </li>
<li>Member of the selection boards for </li>
<ul>
<li>a full professorship in Information Security</li>
<li>a tenure track position in Cryptography</li>
<li>external master students in the programmes Computer Science and Software Engineering and Management</li>
</ul>
<li>Teaching </li>
<ul>
<li>Quality Assurance in Software Development, </li>
<li>Software Paradigms, </li>
<li>Model-based Testing, </li>
<li>Logic and Logic Programming, and </li>
<li>Functional Programming.</li>
</ul>
</ul>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-89367166650436617182018-06-14T10:54:00.000+02:002018-09-11T08:03:53.377+02:00Professional Activities in 2018Here is a summary of my activities in 2018. This list will be updated as tasks come along.<br />
<ul>
<li>Key Researcher in the projects </li>
<ul>
<li><a href="http://www.tugraz.at/projekte/dependablethings/home/">Dependable Things</a>, </li>
<li><a href="http://truconf.ist.tugraz.at/">TRUCONF</a>.</li>
</ul>
<li>Invited speaker at the </li>
<ul>
<li><a href="http://www.hh.se/english/schoolofinformationtechnology/eventsandseminars/halmstadsummerschoolontesting2018.65446995.html">8th Halmstad Summer School on Testing</a>, HSST 2018, Halmstad, Sweden, 11-14 Jun, 2018,</li>
<li><a href="https://www.tugraz.at/projekte/dependable-things/events/2nd-symposium-on-dependable-internet-of-things-in-adverse-environments/">2nd Symposium on Dependable Internet of Things</a>, Graz, Austria, 5 Jun 2018.</li>
<li><a href="http://www.math.pku.edu.cn/">School of Mathematical Sciences</a>, Peking University, Beijing, China, 10 Sep 2018.</li>
<li><a href="http://english.is.cas.cn/">Institute of Software</a>, Chinese Academy of Sciences (ISCAS), Beijing, China 11 Sep 2018. </li>
</ul>
<li>Program Co-chair of the <a href="http://www.mrtc.mdh.se/ITEQS/2018/">2nd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems</a> (ITEQS 2018), 9 Apr 2018, Västeros, Sweden.</li>
<li>Member of the selection board for the </li>
<ul>
<li>tenure track position in cyber-security,</li>
<li>full professorship in Information Security. </li>
</ul>
<li>Member of <a href="https://www.avl.com/">AVL</a>'s Strategic Research Partnership Program, subtopic: Future Development Technologies & Processes. </li>
<ul></ul>
<li>PC Member of </li>
<ul>
<li><a href="http://www.fm2018.org/">FM 2018</a>, International Symposium on Formal Methods</li>
<li><a href="http://www.formal-analysis.com/icfem/2018/">ICFEM 201</a>8, 20th International Conference on Formal Engineering Methods</li>
<li><a href="https://ifm2018.cs.nuim.ie/">iFM 2018</a>, 14th International Conference on integrated Formal Methods</li>
<li><a href="https://ictss2018.uca.es/ictss">ICTSS 2018</a>, 30th International Conference on Testing Software and Systems</li>
<li><a href="https://tap18.lri.fr/">TAP 201</a>8, 12th International Conference on Tests & Proofs</li>
<li><a href="https://amost2018.wordpress.com/">A-MOST 2018</a>, 14th Workshop on Advances in Model Based Testing</li>
<li><a href="http://www.refinenet.org.uk/index.html">Refine 2018</a>, Refinement Workshop</li>
</ul>
<li>Guest Editor of the Springer Journal <a href="http://www.springer.com/computer/theoretical+computer+science/journal/165">Formal Aspects of Computing</a> for a special issue of <a href="http://tap2016.ist.tugraz.at/">TAP 2016</a>. </li>
<li>Teaching </li>
<ul>
<li>Quality Assurance in Software Development, </li>
<li>Software Paradigms, </li>
<li>Model-based Testing, </li>
<li>Logic and Logic Programming, and </li>
<li>Functional Programming.</li>
</ul>
</ul>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-36232065904155094212017-07-04T11:21:00.000+02:002017-07-04T11:21:03.794+02:00New article on requirements modelling, model-based testing and traceability<div>
Our article on combining requirements modelling, test-case generation and traceability appeared in the Springer STTT journal.<br />
<br />
The paper describes how we<br />
<ol>
<li>model requirements as contracts in the form of assume-guarantee conditions </li>
<li>generate test cases efficiently out of the models via SMT solving and an incremental algorithm</li>
<li>add traceability information linking requirements, contracts, generated test-cases and test results</li>
<li>demonstrated its feasibility with our industrial partner Infineon on airbag electronics. </li>
</ol>
All of this comes with solid foundations and precise semantics.<br />
<div>
<br /></div>
Bernhard K.
Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, and Stefan
Tiran.
Require, test, and trace IT.
<cite>International Journal on Software Tools for Technology Transfer
(STTT)</cite>, 19:409–426, 2017.
Open Access. Published online: 29 November 2016.
(<a href="http://www.ist.tugraz.at/aichernig/publications/papers/sttt17-final.pdf">PDF</a>)
(<a href="http://dx.doi.org/10.1007/s10009-016-0444-z">doi:10.1007/s10009-016-0444-z</a>)</div>
<br />
<div>
It is open access and can be freely <a href="http://rdcu.be/tUhL">accessed at Springer.</a></div>
<div>
<br />
Enjoy!</div>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-54586669049856064002017-01-12T11:36:00.000+01:002018-06-14T10:56:45.516+02:00Professional Activities in 2017Here is a summary of my activities in 2017. This list will be updated as tasks come along.<br />
<ul>
<li>Key Researcher in the projects </li>
<ul>
<li><a href="http://www.tugraz.at/projekte/dependablethings/home/">Dependable Things</a>, </li>
<li><a href="http://truconf.ist.tugraz.at/">TRUCONF</a>.</li>
</ul>
<li>Invited Speaker at the <a href="http://avm2017.inf.mit.bme.hu/">11th Alpine Verification Meeting (AVM 2017)</a>, Visegrad, Hungary, 18 - 21 Sep 2017.</li>
<li>Member of the appointment committee for the professorship in Information Security. </li>
<li>External PhD examiner of <a href="http://www.cs.aau.dk/news-and-events/show/-ph.d.-defence-by-zhengkui-zhang--.cid308137">Zhengkui Zhang, Aalborg University, Denmark</a>. Thesis title: "Time and Cost Optimisation of Cyber-Physical Systems by Distributed Reachability Analysis". </li>
<ul>
</ul>
<li>PC Member of </li>
<ul>
<li><a href="http://a-most17.zen-tools.com/">A-MOST 2017</a>, 13th Workshop on Advances in Model Based Testing</li>
<li><a href="http://www.seceng.informatik.tu-darmstadt.de/tap2017/">TAP 2017</a>, 11th International Conference on Tests & Proofs</li>
<li><a href="http://tase2017.unice.fr/">TASE 2017</a>, 11th International Symposium on Theoretical Aspects of Software Engineering</li>
<li><a href="http://mbt-workshop.org/">MBT 2017</a>, 11th Int. Workshop on Model-Based Testing</li>
<li><a href="http://ictt.xidian.edu.cn/icfem2017/">ICFEM 2017</a>, 19th International Conference on Formal Engineering Methods</li>
<li><a href="http://fit.uet.vnu.edu.vn/ictac2017/">ICTAC 2017</a>, 14th International Colloquium on Theoretical Aspects of Computing</li>
</ul>
<li>Guest Editor of the Springer Journal <a href="http://www.springer.com/computer/theoretical+computer+science/journal/165">Formal Aspects of Computing</a> for a special issue of <a href="http://tap2016.ist.tugraz.at/">TAP 2016</a>. </li>
<li>Associate Editor of the open access journal <a href="http://journal.frontiersin.org/journal/ict">Frontiers in ICT</a>, section Formal Methods.</li>
<li>Teaching </li>
<ul>
<li>Quality Assurance in Software Development, </li>
<li>Software Paradigms, </li>
<li>Model-based Testing, </li>
<li>Logic and Logic Programming, and </li>
<li>Functional Programming.</li>
</ul>
</ul>
<br />
<br />Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-66228238694665956142016-10-19T11:33:00.002+02:002016-10-19T12:06:31.019+02:00New Journal Article on Test-Case Generation and Fault Propagation<div>
Our new article on fault propagation and its relation to model-based test-case generation was just published:</div>
<div>
<br /></div>
Bernhard K. Aichernig, Elisabeth Jöbstl, and Martin Tappler. Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. <cite>Journal of Logical and Algebraic Methods in Programming</cite>, 85(5, Part 2):806–823, 2016. (<a href="http://www.ist.tugraz.at/aichernig/publications/papers/jlamp16.pdf">PDF</a>) (<a href="http://dx.doi.org/10.1016/j.jlamp.2016.02.002">doi:10.1016/j.jlamp.2016.02.002</a>)<br />
<div>
<br /></div>
<div>
The publisher Elsevier provides a <a href="http://authors.elsevier.com/a/1TtTq8MrKMAyIU">free download of the original article</a> until December 2.<br />
<br />
The paper describes how we generate test-cases for reactive systems by<br />
<br />
<ol>
<li>injecting faults into the models (mutation testing)</li>
<li>generating a test-case that triggers this fault (refinement checking)</li>
<li>extending the test-case until an observational failure could be produced (ioco checking).</li>
</ol>
<br />
We show that this is more efficient than previous approaches that search for observational equivalences directly, i.e. skipping Step 2.<br />
<br />
Our case study of a car-alarm controller shows that for some subtle faults we need up to nine additional interactions until a fault becomes visible at the interface.</div>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-4323735985297004452016-08-05T12:18:00.000+02:002016-08-30T16:33:13.130+02:00Professional Activities in 2016I have been invited to serve on the PC of <a href="http://antares.sip.ucm.es/svt2017/">SVT 2017</a>,
the <b>32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track</b> that will be held in Marrakech, Morocco, April 3 – 7, 2017.
<br />
<br />
Here is a summary of my activities in 2016:<br />
<ul>
<li>PC Co-Chair of <a href="http://tap2016.ist.tugraz.at/">TAP 2016</a>, the 10th International Conference on Tests & Proofs, July 2016,Vienna, Austria.</li>
<li>Invited Speaker at <a href="http://mtcps16.ait.ac.at/">1st Workshop on Monitoring and Testing of Cyber-Physical Systems</a> at <a href="http://www.cpsweek.org/2016/">CPS Week 2016</a>.</li>
<li>Associate Editor of the new open access journal <a href="http://journal.frontiersin.org/journal/ict">Frontiers in ICT</a>, section Formal Methods </li>
<li>PC Member of <a href="https://sites.google.com/site/amostw2016/">A-MOST 2016</a>, <a href="http://fm2016.cs.ucy.ac.cy/">FM 2016</a>, <a href="http://fm2016.cs.ucy.ac.cy/cfpdoctoralsymposium.html">Doctoral Symposium of FM 2016</a>, <a href="http://icfem2016.xyz/index.html">ICFEM 2016</a>, <a href="http://cc.ee.ntu.edu.tw/~ictac2016">ICTAC 2016</a>, <a href="http://tase2016.ecnu.edu.cn/">TASE 2016</a>, <a href="http://ictss2016.ist.tugraz.at/">ICTSS 2016</a>, <a href="http://ictss2016.ist.tugraz.at/index.php/workshop-on-quality-assurance-in-computer-vision-qacv/">QACV16</a>, and <a href="http://antares.sip.ucm.es/svt2017/">SVT 2017</a>.</li>
<li>Key Researcher in the projects <a href="http://www.tugraz.at/projekte/dependablethings/home/">Dependable Things</a>, <a href="http://truconf.ist.tugraz.at/">TRUCONF</a>, and <a href="http://www.crystal-artemis.eu/">CRYSTAL</a>.</li>
<li>Board Member of <a href="http://www.fmeurope.org/">Formal Methods Europe</a> (until April)</li>
<li>Chair of the <i>Study Commission for the studies Computer Science, Software Development and Business Management, and the Teacher </i><i>Learning Programme Computer Science</i> at TU Graz</li>
<li>Teaching Quality Assurance in Software Development, Software Paradigms, Model-based Testing, Logic and Logic Programming, and Functional Programming.</li>
</ul>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-75940648555303879292016-02-05T12:05:00.002+01:002016-02-05T12:27:01.379+01:00Designing Embedded Domain-Specific Languages in ScalaI am glad to share with you an excellent Bachelor's thesis written by Philipp Gabler and supervised by me. The topic is fascinating as it discusses the features of the programming language Scala to support the design of DSLs. It includes a case-study on our modeling language for model-based testing.<br />
<br />
Philipp Gabler, <i>Designing Embedded Domain-Specific Languages in Scala: a Case Study with Action Systems</i>, Bachelor's Thesis, Graz University of Technology, Institute for Software Technology, June 2015.<br />
<br />
Here is the <a href="http://www.ist.tugraz.at/aichernig/publications/theses/gabler-bachelor-thesis15.pdf">PDF for download</a>.Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-60861589748964134282015-10-22T11:25:00.001+02:002015-10-22T11:47:04.023+02:0010 PhD Positions in Dependable Internet of Things<div>
<b>We have 10 PhD positions in my new project:</b></div>
<div>
<br /></div>
<div>
Graz University of Technology (TU Graz) has recently established an</div>
<div>
Excellence Research Center entitled "Dependable Internet of Things</div>
<div>
in Adverse Environments", for further information see</div>
<div>
<a href="http://dependablethings.tugraz.at/">http://dependablethings.tugraz.at</a>. The mission of this long-term</div>
<div>
center is to foster a highly interdisciplinary research team</div>
<div>
spanning the computer science and electrical engineering faculties</div>
<div>
to lay the scientific foundations for an Internet of Things that</div>
<div>
is highly reliable, safe, and secure in order to enable critical</div>
<div>
applications that require guaranteed performance even in adverse</div>
<div>
environments. The center is seeking to fill 10 PhD positions with</div>
<div>
excellent candidates, who will work closely together in four</div>
<div>
subprojects that focus on the following topics:</div>
<div>
<br /></div>
<div>
1. Dependable Wireless Communication and Localization (three</div>
<div>
positions in wireless networking, physical layer signal</div>
<div>
processing, and tunable microwave frontends)</div>
<div>
<br /></div>
<div>
2. Dependable Embedded Computing (two positions in embedded</div>
<div>
hardware and software with a focus on security and real-time</div>
<div>
operating systems)</div>
<div>
<br /></div>
<div>
3. Dependable Composition of Smart Things (three positions in</div>
<div>
model checking, model-based testing, and machine learning)</div>
<div>
<br /></div>
<div>
4. Dependable Networked Control (two positions in control theory</div>
<div>
and information theory)</div>
<div>
<br /></div>
<div>
Applicants must hold a Master degree (or equivalent) in computer</div>
<div>
engineering, computer science, or electrical engineering before</div>
<div>
they can take on the position. Proficiency in the English language</div>
<div>
(spoken and written) is required. Applicants should be highly</div>
<div>
motivated, have initiative and responsibility, be able to work</div>
<div>
independently and in an interdisciplinary team, should have</div>
<div>
interest in scientific research, should have commitment to</div>
<div>
publish research results and to obtain a doctoral degree.</div>
<div>
<br /></div>
<div>
The positions are to be filled from January 1, 2016 with an</div>
<div>
initial appointment for three years. The position is remunerated</div>
<div>
according to the collective contract (Kollektivvertrag) for</div>
<div>
Austrian Universities, i.e., the salary amounts to at least</div>
<div>
37.280 EUR/year before taxes and may increase depending on prior</div>
<div>
experience.</div>
<div>
<br /></div>
<div>
TU Graz aims to increase the number of female employees and</div>
<div>
therefore specifically invites qualified women to apply.</div>
<div>
<br /></div>
<div>
TU Graz is a leading technical university in Austria (ranking</div>
<div>
151-200 in the world in engineering in the Shanghai Ranking)</div>
<div>
in a medium-sized city with a very high quality of life,</div>
<div>
located at the south-eastern foot of the Alps, offering</div>
<div>
plentiful recreation opportunities.</div>
<div>
<br /></div>
<div>
Applicants should fill in the application form at</div>
<div>
<a href="http://dependablethings.tugraz.at/jobs">http://dependablethings.tugraz.at/jobs</a> and upload it together</div>
<div>
with a transcript of records, a copy of the master's degree,</div>
<div>
a recent certificate of the level of proficiency of the English</div>
<div>
language, and a copy of the master's thesis at</div>
<div>
<a href="https://easychair.org/conferences/?conf=dependablethings2016">https://easychair.org/conferences/?conf=dependablethings2016</a>.</div>
<div>
The application deadline is November 30, 2015. For further</div>
<div>
information please contact the center coordinator Prof. Kay</div>
<div>
Roemer <roemer@tugraz.at>.</div>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-55818690347016220522015-08-20T12:30:00.000+02:002015-12-22T18:43:23.351+01:00Professional Activities in 2015The professional life of a researcher is exciting! Here are some of my activities in 2015:<br />
<ul>
<li>PC Co-Chair of <a href="http://tap2016.ist.tugraz.at/">TAP 2016</a>, the 10th International Conference on Tests & Proofs, July 2016,Vienna, Austria.</li>
<li>Associate Editor of the new open access journal <a href="http://journal.frontiersin.org/journal/ict">Frontiers in ICT</a>, section Formal Methods </li>
<li>Presentation at <a href="http://fmics2015.org/">FMICS 2015</a>: <i>Require, Test and Trace IT</i></li>
<li>Presentation at Festschrift Symposium in Honor of <a href="http://www4.di.uminho.pt/~jno/">Jose Nuno Oliveira</a>, Guimaraes, Portugal, 26 Sep 2015: <i>Does this Fault Lead to Failure? Combining Refinement and Input-Output Conformance Checking in Fault-Oriented Test-Case Generation.</i></li>
<li>Co-Organizer of the <a href="http://fm2015.ifi.uio.no/doctoral-symposium/">Doctoral Symposium of Formal Methods 2015</a></li>
<li>Invited tutorial at <a href="http://sqamia.informatika.uni-mb.si/?page_id=133">SQAMIA 2015</a>: <i>Killing Bugs in a Black Box with Model-based Testing: from Science via Tool Development to Industrial Application</i></li>
<li>Key Researcher in the <a href="http://www.tugraz.at/projekte/dependablethings/home/">Dependable Things</a> project</li>
<li>Key Researcher in the <a href="http://truconf.ist.tugraz.at/">TRUCONF</a> project</li>
<li>Key Researcher in the <a href="http://www.crystal-artemis.eu/">CRYSTAL</a> project</li>
<li>PC Member and Publicity Chair of <a href="http://icst2015.ist.tu-graz.ac.at/">ICST 2015</a></li>
<li>PC Member of <a href="http://fm2015.ifi.uio.no/">FM 2015</a></li>
<li>PC Member of <a href="http://mbt-workshop.org/">MBT 2015</a></li>
<li>PC Member of <a href="https://www.cs.york.ac.uk/sefm2015/">SEFM 2015</a></li>
<li>PC Member of <a href="http://www.disim.univaq.it/staf2015/">TAP 2015</a></li>
<li>Reviewer for the journals <a href="http://www.springer.com/computer/theoretical+computer+science/journal/165">Formal Aspects of Computing</a>, <a href="http://ees.elsevier.com/scico/mainpage.html">Science of Computer Programming</a>, <a href="http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/">Logical and Algebraic Methods in Programming</a>, and <a href="http://www.journals.elsevier.com/information-and-software-technology/">Information and Software Technology</a>.</li>
<li>Board Member of <a href="http://www.fmeurope.org/">Formal Methods Europe</a></li>
<li>Chair of the <i>Study Commission for the studies Computer Science, Software Development and Business Management, and the Teacher Learning Programme Computer Science</i> at TU Graz</li>
<li>Voting Member of the <i>Selection Commission for Admission to the Master's Program in Computer Science</i> at TU Graz</li>
<li>Teaching Quality Assurance in Software Development (84 students)</li>
<li>Teaching Software Paradigms (263 students)</li>
<li>Teaching Model-based Testing (24 students)</li>
<li>Teaching Logic and Logic Programming (170 students)</li>
<li>Teaching Functional Programming (149 students)</li>
</ul>
<ul>
</ul>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-30361784503460058412014-11-17T11:47:00.004+01:002014-11-17T11:49:26.546+01:00New journal article on model-based testing<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg8mfmOQngzto-5sVWREolK7oXq0GaPmA2sCVsTFv8pKq0S2uSB8xTNO4lIdbH4MHYmAFJIgIbsA3OMgueEMfFR_Ua-hStG3Y5N80w_-oA6V7QoM2ox9lwxv7KZhlQGzUXa8KlFlm9kNCYA/s1600/mbmt.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg8mfmOQngzto-5sVWREolK7oXq0GaPmA2sCVsTFv8pKq0S2uSB8xTNO4lIdbH4MHYmAFJIgIbsA3OMgueEMfFR_Ua-hStG3Y5N80w_-oA6V7QoM2ox9lwxv7KZhlQGzUXa8KlFlm9kNCYA/s1600/mbmt.jpg" /></a></div>
Today, our new journal article appeared in the Science of Computer Programming journal of Elsevier.<br />
<br />
It deals with the problem of automatically generating test-cases from mutated models:<br />
<br />
Bernhard K. Aichernig, Elisabeth Jöbstl, and Stefan Tiran. <a href="http://authors.elsevier.com/a/1Q1ugc7X4aq~P">Model-based mutation testing via symbolic refinement checking.</a> <i>Science of Computer Programming. </i>97 (2015): 383-404, Elsevier, 2015.<br />
<br />
Here is a <a href="http://authors.elsevier.com/a/1Q1ugc7X4aq~P">link to a free copy</a> of it that works for 50 days.<br />
<br />
<span style="font-family: Times, Times New Roman, serif;">Highlights:</span><br />
<br />
<ul>
<li><span style="color: #2e2e2e; font-family: Times, Times New Roman, serif;"><span style="line-height: 20px; word-spacing: -1px;">We deal with model- and mutation-based test case generation.</span></span></li>
<li><span style="color: #2e2e2e; font-family: Times, Times New Roman, serif;"><span style="line-height: 20px; word-spacing: -1px;">The main focus lies on optimizations of the underlying conformance check.</span></span></li>
<li><span style="color: #2e2e2e; font-family: Times, Times New Roman, serif;"><span style="line-height: 20px; word-spacing: -1px;">We explain the construction of test cases based on the conformance check.</span></span></li>
<li><span style="color: #2e2e2e; font-family: Times, Times New Roman, serif;"><span style="line-height: 20px; word-spacing: -1px;">We allow for non-determinism in the test models.</span></span></li>
<li><span style="color: #2e2e2e; font-family: Times, Times New Roman, serif;"><span style="line-height: 20px; word-spacing: -1px;">We demonstrate the effectiveness of our optimizations on industrial case studies.</span></span></li>
</ul>
<br />
<span style="font-family: Times, Times New Roman, serif;">Enjoy!</span><br />
<br />
<br />Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-91449096055220407212014-09-11T15:03:00.000+02:002014-09-11T15:05:22.307+02:00PhD Position in Model-based TestingThe Institute for Software Technology, Graz University of Technology, Austria,<br />
has an opening for a Ph.D. position in model-based testing.<br />
<br />
** Application deadline: October 20, 2014<br />
** Salary: ~ EUR 36,600 per year before taxes<br />
** The applicants should preferably have completed a Master's degree<br />
(or similar), or being on the verge of completing one.<br />
** The candidate should preferably have a background in model-based<br />
testing or formal methods.<br />
<br />
The Ph.D. research project focuses on the model-based testing of<br />
non-functional requirements, like real-time, memory, and energy<br />
constraints. The research is a continuation of the completed TRUFAL<br />
project (<a href="http://trufal.wordpress.com/">http://trufal.wordpress.com</a>). Research partners are AIT and<br />
AVL. The theoretical work involves the selection and adaptation of<br />
appropriate modelling languages, defining their formal semantics and<br />
developing an appropriate testing theory. The practical work comprises<br />
modelling, tool development and industrial case-studies.<br />
<br />
The position is for 3 years and should lead to a PhD thesis at the Graz<br />
University of Technology (TU Graz).<br />
<br />
The PhD candidate will be supervised by Prof. Aichernig (see contact details below).<br />
<br />
The application should include:<br />
<br />
- Application letter (max. 2 pages)<br />
- CV (summarising education, positions and academic work - scientific publications)<br />
- Copies of educational certificates, transcript of records and letters of recommendation<br />
- Documentation of English proficiency (if mother tongue not English) <br />
- List of publications and academic work that the applicant wishes<br />
to be considered (if any; no problems if there aren't any)<br />
- Names and contact details of 2-3 references (name, relation to candidate, e-mail and telephone number)<br />
- Foreign applicants are advised to attach an explanation of their University’s grading system.<br />
<br />
For further information about the position, informal requests, etc., please contact<br />
Bernhard Aichernig, email: aichernig AT ist.tugraz.at<br />
<div>
<br /></div>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-66644112219794458272013-10-02T13:13:00.000+02:002013-10-02T13:13:56.923+02:00Student Projects 2013/14This is a selection of my proposals for student projects in the academic year 2013/14.<br />
<br />
Most of the topics can be scaled to small student projects, bachelor thesis projects, master thesis projects and in some cases up to dissertation subjects. The projects are not isolated but fit the current research agenda of my group. The students are supervised in meetings in two-week periods. Please, contact me, if you are interested<br />
<br />
<b><span style="font-size: large;">MBAT-AVL</span></b><br />
<div>
This is a paid project in the context of our <a href="http://aichernig.blogspot.co.at/p/my-projects.html">MBAT project.</a> AVL Graz is looking for students assisting them in their tasks in the project. AVL, together with TU Graz, wants to evaluate existing model-based test case generation tools on their automotive demonstrators. The tasks involve modeling of the expected behavior, developing test-drivers and evaluate the tools with a common benchmark example.</div>
<div>
This would be a master project, but it can be downscaled to different levels, e.g. by selecting a subset of tools.</div>
<div>
<br /></div>
<div>
<span style="font-size: large;"><b>TRUFAL-Prolog2Scala</b></span></div>
<div>
This is a project in the context of our <a href="http://aichernig.blogspot.co.at/p/my-projects.html">TRUFAL project</a>. The plan is to port an existing test case generator implemented in Prolog to Scala. The test case generator implements model-based mutation testing and takes as input models Action Systems. The plan is to port this implementation to Scala and then parallelize the algorithms. This will be a bachelor or master project.<br />
<br />
<span style="font-size: large;"><b>TRUFAL-Coverage</b></span></div>
<div>
This is a project in the context of our <a href="http://aichernig.blogspot.co.at/p/my-projects.html">TRUFAL project</a>.
The aim is to implement transition coverage of UML state machines into our existing test case generator. Experiments will be conducted comparing mutation coverage and random coverage to the new test selection strategy. The implementation language is Prolog.
</div>
<br />
<span style="font-size: large;"><b>TRUFAL-Case-Studies</b></span>
<br />
<div>
The aim is to conduct several case studies using our model-based testing tools. The tasks may involve modeling of the system under test, implementation/selection of a benchmark system-under-test, implementation of a test-adapter, tool evaluation, and empirical studies. Comparisons with other tools, e.g. with Spec Explorer, is also possible.
</div>
<br />
<span style="font-size: large;"><b>Proof-based Development of Test Models</b></span>
<br />
<div>
The aim of this project is to formally develop test models from informal requirements. The modeling language will be Event-B. The IDE will be the Eclipse platform Rodin. The development involves tool-supported correctness proofs over several refinement steps. For a master thesis an integration of our existing test case generators with Event-B would be
a possible extension.
</div>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-66694310330123216262012-09-19T18:40:00.000+02:002012-09-19T18:46:41.030+02:00Habilitation<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi4AyweccFn5AkBRobnujM9mzCrMwiVnOBOOrZ1hzXrsiXuJNAc_7-cX-MhFih8Aj3GBEelmkRvFVgOXIZgXPS8ffwTBTsKyNTXb0efYKszpW2_AXpb-pWjKd2p6KWm8UiNFRGir8x8wB7y/s1600/mbmt.png" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" height="202" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi4AyweccFn5AkBRobnujM9mzCrMwiVnOBOOrZ1hzXrsiXuJNAc_7-cX-MhFih8Aj3GBEelmkRvFVgOXIZgXPS8ffwTBTsKyNTXb0efYKszpW2_AXpb-pWjKd2p6KWm8UiNFRGir8x8wB7y/s320/mbmt.png" width="320" /></a></div>
Yesterday, I have completed my habilitation process at TU Graz. The last step was a public 45 minutes talk on<br />
<br />
"Model-Based Mutation Testing: From Semantics to Automated Test-Case Generation"<br />
<br />
given to the faculty of computer science and the habilitation commission. After the talk I answered questions and defended my habilitation thesis.<br />
<br />
The habilitation thesis with the title "Model-Based Mutation Testing: Theory and Application" was submitted in January. It consists of selected papers and a survey chapter.<br />
<br />
The survey chapter is available for download: <a href="http://www.ist.tugraz.at/aichernig/publications/papers/habilschrift-aichernig-survey12.pdf">Survey Chapter Habilitationsschrift Aichernig</a>.<br />
<br />
The habilitation gives me the right to lecture any topic covered by my habilitation area "Practical Computer Science and Formal Methods in Computer Science". "Practical Computer Science" includes topics like Software Engineering and Programming Languages. "Formal Methods" are mathematically based techniques for the specification, development and verification of software and hardware systems.<br />
<br />
More details regarding the history and concept of habilitation can be found on <a href="http://en.wikipedia.org/wiki/Habilitation">Wikipedia</a>.<br />
<br />Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-1944793299191339822012-09-19T15:14:00.000+02:002012-09-19T13:02:34.661+02:00Integrating model-based testing and analysis tools via test case exchange<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjtFUToU0a4CFSh7QG0cjsTTGFvrR_3Pn0LCuF-qIYbl4is30wvfSljc3xlHY6GNb3EUYC4YdIUkVs2iJTVe1XaLMzo4P_ORk3HpyJd9O6hpudGc7Hd-SRsLnvCrt0MXeOTXambKCeOnMAb/s1600/mbat-picture.png" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" height="160" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjtFUToU0a4CFSh7QG0cjsTTGFvrR_3Pn0LCuF-qIYbl4is30wvfSljc3xlHY6GNb3EUYC4YdIUkVs2iJTVe1XaLMzo4P_ORk3HpyJd9O6hpudGc7Hd-SRsLnvCrt0MXeOTXambKCeOnMAb/s320/mbat-picture.png" width="320" /></a></div>
Our first publication in the <a href="http://www.mbat-artemis.eu/home/">MBAT project</a> was presented at <a href="http://selab.bjut.edu.cn/tase2012/">TASE 2012</a> and in<a href="http://iist.unu.edu/seminar/integrating-model-based-testing-and-analysis-tools-test-case-exchange"> a seminar given at UNU-IIST:</a><br />
<br />
Bernhard K. Aichernig, Florian Lorber, and Stefan Tiran. Integrating model-based testing and analysis tools via test case exchange. In <cite>TASE 2012, 6th IEEE International Symposium on Theoretical Aspects of Software Engineering, July 4–6, Beijing, China, pages 119-126.</cite> IEEE Computer Society, 2012. (<a href="http://www.ist.tugraz.at/aichernig/publications/papers/tase12.pdf">PDF</a>)<br />
<br />
In this paper we show an integration of two tools via test cases. For example test cases are generated from a model in Tool 1 and then model checked in another Tool 2. This is useful when a modeling tool does not support model checking as it is the case with most UML tools.<br />
<br />
<b>Abstract:</b> Europe’s industry in embedded system design is currently aiming for a better integration of tools that support their development, validation and verification processes. The idea is to combine model-driven development with model-based testing and model-based analysis. The interoperability of tools shall be achieved with the help of meta-models that facilitate the mapping between different modelling notations. However, the syntactic and semantic integration of tools is a complex and costly task. A common problem is that different tools support different subsets of a language. Furthermore, semantic differences are a major obstacle to sound integration efforts.<br />
<br />
In this paper we advocate an alternative, more pragmatic approach. We propose the exchange of test cases generated from the models instead of exchanging the models themselves. The advantage is that test cases have a much simpler syntax and semantics, and hence, the mapping between different tools is easier to implement and to maintain. With a formal testing approach with adequate testing criteria a set of test cases can be viewed as partial models that can be formally analysed. We demonstrate an integration of our test case generator Ulysses with the CADP toolbox by means of test case exchange. We generate test cases in Ulysses and verify properties in CADP. We also generate test cases in CADP and perform a mutation analysis in Ulysses.<br />
<br />Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-75344787928017073672012-05-20T19:28:00.000+02:002012-05-20T19:31:36.987+02:00ICTSS 2012, Aalborg, Denmark<table cellpadding="0" cellspacing="0" class="tr-caption-container" style="float: left; margin-right: 1em; text-align: left;"><tbody>
<tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhsNGa3Xyb9xaXWmnpx_UkM1YLkcDY08tDgQUenCYvxdkxX195-UNN5cq9e0XmMUQwwyIZM_1WEXgLK2Gg6c72kpPoxbq26KEkCiaV2fBKqhyphenhyphenwo4SX-cceINaeemvkPmPMzXSnSyc5uY-bU/s1600/aalborg.jpg" imageanchor="1" style="clear: left; margin-bottom: 1em; margin-left: auto; margin-right: auto;"><img border="0" height="212" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhsNGa3Xyb9xaXWmnpx_UkM1YLkcDY08tDgQUenCYvxdkxX195-UNN5cq9e0XmMUQwwyIZM_1WEXgLK2Gg6c72kpPoxbq26KEkCiaV2fBKqhyphenhyphenwo4SX-cceINaeemvkPmPMzXSnSyc5uY-bU/s320/aalborg.jpg" width="320" /></a></td></tr>
<tr><td class="tr-caption" style="text-align: center;">Photo: <a href="http://www.flickr.com/photos/dinilu/6764654461/">dinilu</a></td></tr>
</tbody></table>
I have been invited to serve on the Program Committee of ICTSS 2012, the 23rd IFIP Int. Conference on Testing Software and Systems, November 19-21, 2012
Aalborg, Denmark.<br />
<br />
Please, consider submitting your testing work until June 11, 2012 (abstracts),
June 18, 2012 (full papers).
<br />
<br />
Brian Nielsen, Aalborg University, DK and
Carsten Weise, IVU Traffic Technologies, DE are the program chairs.
For details see the <a href="http://ictss2012.aau.dk/">conference homepage</a>.<br />
<br />
Last year, we presented a paper at ICTSS in Paris:<br />
<br />
Christian Schwarzl, Bernhard K. Aichernig, and Franz Wotawa.
Compositional random testing using extended symbolic transition systems.
In Burkhart Wolff and Fatiha Zaïdi, editors, <cite>Testing Software and
Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris,
France, November 7-10, 2011. Proceedings</cite>, volume 7019 of <cite>Lecture
Notes in Computer Science</cite>, pages 179–194. Springer-Verlag, 2011.
(<a href="http://www.ist.tugraz.at/aichernig/publications/papers/ictss11.pdf">PDF</a>)Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-78567037289683695662012-02-24T11:14:00.000+01:002012-02-24T11:16:58.290+01:00Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi5QjN8O35_DWB9Lc_UaBNGBWfgNUpCvYTI45JOZI1LcacEo3_v0uNq5FFrKb4pSUFr5UAEf89vodW4dUev422LN8Qseyjn_Lwby4FjtBGamTEEnd58CyqF4rLA-6eQrW0JY3ZmRi9hxcWC/s1600/process.png" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" height="185" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi5QjN8O35_DWB9Lc_UaBNGBWfgNUpCvYTI45JOZI1LcacEo3_v0uNq5FFrKb4pSUFr5UAEf89vodW4dUev422LN8Qseyjn_Lwby4FjtBGamTEEnd58CyqF4rLA-6eQrW0JY3ZmRi9hxcWC/s400/process.png" width="400" /></a></div>
We present our newest paper on model-based mutation testing accepted at <a href="http://mbt-workshop.org/">MBT 2012</a>.<br />
<br />
Model-based mutation testing uses altered test models to derive test cases that are able to reveal whether a modelled fault has been implemented. This requires conformance checking between the original and the mutated model. This paper presents an approach for symbolic conformance checking of action systems, which are well-suited to specify reactive systems.<br />
<br />
We also consider non-determinism in our models. Hence, we do not check for equivalence, but for refinement. We encode the transition relation as well as the conformance relation as a constraint satisfaction problem and use a constraint solver in our reachability and refinement checking algorithms.<br />
<br />
Explicit conformance checking techniques often face state space explosion. First experimental evaluations show that our approach has potential to outperform explicit conformance checkers.<br />
<br />
This research is part of the <a href="http://trufal.wordpress.com/" target="_blank">TRUFAL project</a>.<br />
<br />
<a href="http://www.ist.tugraz.at/aichernig/publications/papers/mbt2012.pdf">Download PDF</a>Unknownnoreply@blogger.comtag:blogger.com,1999:blog-1829183178035233266.post-13982598923866006392011-12-01T10:16:00.001+01:002011-12-01T11:44:14.895+01:00Protocol conformance testing a SIP registrar<table cellpadding="0" cellspacing="0" class="tr-caption-container" style="float: left; margin-right: 1em; text-align: left;"><tbody>
<tr><td style="text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgYT36sO7rU-j1RDLySNF0VCD7P30dvmNBTeSVRW1deCjx-m8eyqGa7RW3j4ZQfZ0Nfe7ZU3KbLszymRgk-QAW3PmAT7MALh8AJm9bLcj9CkDUcsfBxpthXUhaMsdtYQblanYpnm8F8Ord8/s1600/ipphone.jpg" imageanchor="1" style="clear: left; margin-bottom: 1em; margin-left: auto; margin-right: auto;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgYT36sO7rU-j1RDLySNF0VCD7P30dvmNBTeSVRW1deCjx-m8eyqGa7RW3j4ZQfZ0Nfe7ZU3KbLszymRgk-QAW3PmAT7MALh8AJm9bLcj9CkDUcsfBxpthXUhaMsdtYQblanYpnm8F8Ord8/s1600/ipphone.jpg" /></a></td></tr>
<tr><td class="tr-caption" style="text-align: center;">Photo: <a href="http://www.flickr.com/photos/tiptel/5534756886/">Tiptel</a></td></tr>
</tbody></table>
In recent years we have successfully applied model-based mutation
testing to several implementations of communication protocols. In our work reported in<br />
<br />
Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, and Franz Wotawa. <b>Protocol conformance testing a SIP registrar: an industrial application of formal methods.</b> In Mike Hinchey and Tiziana Margaria, editors, <cite>Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK</cite>, pages 215–226. IEEE Computer Society, 2007. (<a href="http://www.ist.tugraz.at/aichernig/publications/papers/sefm2007.pdf">PDF</a>) (<a href="http://dx.doi.org/10.1109/SEFM.2007.31">doi:10.1109/SEFM.2007.31</a>)<br />
<br />
we tested parts of the Session Initiation Protocol (SIP) used in internet telephony in order to register and connect communication partners.<br />
<br />
Our case study targeted a commercial and an open-source (OpenSER) SIP registrar. Furthermore, we compared the mutation approach to a standard model-based test case generation technique. Our mutation technique generated 124 test cases, compared to 6000 test cases generated by the standard approach.<br />
<br />
The 6000 tests discovered nine different faults in the commercial SIP registrar and four in the open-source registrar OpenSER.<br />
<br />
<b>Interesting was the fact that the comparatively small set of 124 mutation tests uncovered one additional fault in the commercial implementation that was not detected by the 6000 tests of the classical approach.</b><br />
<br />
This is a further indication that mutation testing could play an important role in a mature testing process.<br />
<br />
Another important contribution of this paper was to show how our mutation technique could be scaled to larger models. We sliced the models with the help of markers around the injected faults.<br />
<br />Unknownnoreply@blogger.com