Franz Wotawa

Registered user since Mon 27 Sep 2021

Name:Franz Wotawa

Franz Wotawa received a M.Sc. in Computer Science (1994) and a PhD in 1996 both from the Vienna University of Technology. He is currently professor of software engineering at the Graz Univer- sity of Technology. Since the founding of the Institute for Software Technology in 2003 to the year 2009, and starting in 2020 Franz Wotawa has been the head of the institute. His research interests include model-based and qualitative reasoning, theorem proving, mobile robots, verification and validation, and software testing and debugging. Beside theoretical foundations, he has always been interested in closing the gap between research and practice. For this purpose, he founded Softnet Austria in 2006, which is a non- profit organization carrying out applied research projects together with companies. Starting from October 2017, Franz Wotawa is the head of the Christian Doppler Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems. During his career Franz Wotawa has written more than 410 peer-reviewed papers for journals, books, conferences, and workshops. He su- pervised 93 master and 37 PhD students. For his work on di- agnosis, he received the Lifetime Achievement Award of the Intl. Diagnosis Community in 2016. Franz Wotawa has been member of a various number of program committees and organized sev- eral workshops and special issues of journals. He is a member of the Academia Europaea, the IEEE Computer Society, ACM, the Austrian Computer Society (OCG), and the Austrian Society for Artificial Intelligence and a Senior Member of the AAAI.

Affiliation:Graz University of Technology
Research interests:Automated debugging, test automation, combinatorial testing, search-based testing, AI, logic reasoning, application of machine learning


IWCT 2022 Co-chair in Program Chairs within the IWCT 2022-track
AIST 2022 Committee Member in Program Committee within the AIST 2022-track
ITEQS 2022 PC Member in Program Committee within the ITEQS 2022-track
AIST 2021 Committee Member in Program Committee within the AIST 2021-track
ITEQS 2021 PC Member in Program Committee within the ITEQS 2021-track
IWCT 2021 Committee Member in Organizing Comittee within the IWCT 2021-track
AST 2021 Author of A framework for the automation of testing computer vision systems within the AST 2021-track
IWCT 2020 Author of On Using Ontologies for Testing Compilers within the IWCT 2020-track
Author of Keynote: Verifying autonomous systems using ontology-based testing within the IWCT 2020-track
ITEQS 2020 Keynote Speaker of Security Testing using Artificial Intelligence Methods and Techniques within the ITEQS 2020-track
TAIC PART 2020 Author of On Using k-means Clustering for Test Suite Reduction within the TAIC PART 2020-track
A-MOST 2020 Author of Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software within the A-MOST-track
ICST 2021 Committee Member in Program Committee within the Research Papers-track
ICST 2020 Publications Chair in Organizing Committee
Committee Member in Program Committee within the Research Papers-track
* ICSE 2018 * Author of Combining Spreadsheet Smells for Improved Fault Prediction within the NIER - New Ideas and Emerging Results -track