Service
Memberships in professional societies
- Association of Computing Machinery
- IEEE
- IEEE Computer Society
Associate Editor
- Software Quality Journal, 2011 --
Member, Editorial Board
- IEEE Transactions on Reliability, 2017 --
- Information and Software Technology, 2008 --
- Journal of Software Testing, Verification, and Reliability, 2006 -- 2019
- Software Quality Journal, 2006 --
Volume Editor
- MODELS 2009 post-proceedings, LNCS 6002, Springer.
Guest Editor
- Journal of Software Testing, Verification, and Reliability Special Issue on papers invited from ISSRE 2018 started in 2018, to be completed in 2020).
- Software Quality Journal Special Issue on Trustworthy Systems and Software, 2019.
- Software Quality Journal Special Issue on Program Debugging (started in 2015, completed in 2017).
- 3 papers in regular issues for Journal on Software and Systems Modeling, Springer
- Co-editor of special issue on ICST 2010 in the Journal of Software Testing, Verification, and Reliability
- Co-editor of special section in Software Quality Journal for papers selected from ACM SAC 2007
Conference General Co-Chair
- MODULARITY 2015 - 14th International Conference on Modularity
- MODELS 2009 - ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems
Conference General Chair
- SPIE's ITCom 2003 - Conference on Java/Jini Technologies
- SPIE's ITCom 2002 - Conference on Java/Jini Technologies
- SPIE's ITCom 2001 - Conference on Java/Jini Technologies
Conference Program Co-Chair
- ISSRE 2018 - 29th International Symposium on Software Reliability Engineering
- DSA 2017 - Fourth International Conference on Dependable Systems and Their Applications (sponsored by IEEE Reliability Society)
- ICST 2010 - IEEE International Conference on Software Testing, Verification and Validation
Program Committee Member (Conferences)
- 32nd International Symposium on Software Reliability Engineering (ISSRE 2021) ISSRE Program Board
- European Conference on Modelling Foundations and Applications (ECMFA 2021)
- IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021)
- 28th IEEE International Conference on Software Analysis, Evolution, and Reengineering Industry Track (SANER 2021)
- European Conference on Modelling Foundations and Applications (ECMFA 2020)
- 31st International Symposium on Software Reliability Engineering (ISSRE 2020) ISSRE Program Board
- IEEE International Conference on Software Quality, Reliability, and Security (QRS 2020)
- 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering Industry Track (SANER 2020)
- European Conference on Modelling Foundations and Applications (ECMFA 2019)
- IEEE International Conference on Software Quality, Reliability, and Security (QRS 2019)
- 30th International Symposium on Software Reliability Engineering (ISSRE 2019) ISSRE Program Board
- 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering Industry Track (SANER 2019)
- IEEE International Conference on Software Quality, Reliability, and Security (QRS 2018)
- 28th International Symposium on Software Reliability Engineering (ISSRE 2017)
- IEEE International Conference on Software Quality, Reliability, and Security (QRS 2017)
- 10th International Conference on Software Testing, Verification, and Validation (ICST 2017)
- 12th European Conference on Modelling Foundations and Applications (ECMFA 2016)
- 9th International Conference on Software Testing, Verification, and Validation (ICST 2016)
- 28th International Conference on Testing Software and Systems (ICTSS 2016)
- 27th International Symposium on Software Reliability Engineering (ISSRE 2016)
- IEEE International Conference on Software Quality, Reliability, and Security (QRS 2016)
- Rocky Mountain Celebration of Women in Computing (RMCWiC 2016)
- Asia-Pacific Software Engineering Conference (APSEC 2015)
- 27th International Conference on Testing Software and Systems (ICTSS 2015)
- IEEE International Confernce on Software Quality, Reliability, and Security (QRS 2015)
- 26th International Symposium on Software Reliability Engineering (ISSRE 2015)
- 37th International Conference on Software Engineering (ICSE 2015), New Ideas and Emerging Results (NIER)
- 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015)
- 25th International Symposium on Software Reliability Engineering (ISSRE 2014)
- 14th International Conference on Quality Software (QSIC 2014)
- Software Engineering In Practice (SEIP), International Conference on Software Engineering (ICSE 2014)
- Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2014)
- New Ideas and Emerging Results (NIER), International Conference on Software Engineering (ICSE 2013)
- 6th International Conference on Software Testing, Verification, and Validation (ICST 2013)
- 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
- 13th International Conference on Quality Software (QSIC 2013)
- 23rd International Symposium on Software Reliability Engineering (ISSRE 2012)
- 5th International Conference on Software Testing, Verification, and Validation (ICST 2012)
- ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012)
- 14th International Conference on Component Based Software Engineering (CBSE 2011)
- 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011)
- 22nd International Symposium on Software Reliability Engineering (ISSRE 2011)
- 11th International Conference on Quality Software (QSIC 2011)
- 21st International Symposium on Software Reliability Engineering (ISSRE 2010)
- 13th International Conference on Component Based Software Engineering (CBSE 2010)
- 13th International Conference on Component Based Software Engineering (CBSE 2010)
- 10th International Conference on Quality Software (QSIC 2010)
- ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010)
- 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)
- 12th International Conference on Component Based Software Engineering (CBSE 2009)
- 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009)
- 9th International Conference on Quality Software (QSIC 2009)
- 2nd International Conference on Software Testing, Validation, and Verification (ICST 2009)
- 19th International Symposium on Software Reliability Engineering (ISSRE 2008)
- 8th International Conference on Quality Software (QSIC) 2008
- 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008)
- 23rd Annual ACM Symposium on Applied Computing, SE Track (SAC 2008)
- 1st International Conference on Software Testing, Validation, and Verification (ICST 2008)
- 7th IEEE International Conference on COTS-based Software Systems (ICCBSS 2008)
- 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007)
- ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2007
- 7th International Conference on Quality Software (QSIC) 2007
- 22nd Annual ACM Symposium on Applied Computing, SE Track (SAC 2007)
- 6th IEEE International Conference on COTS-based Software Systems (ICCBSS 2007)
- First IEEE International Conference on System Integration and Reliability Improvements (SIRI 2006)
- 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)
- ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2006
- ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2005
- 29th Annual International Computer Software and Applications Conference (COMPSAC) 2005
- 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)
- 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004)
- 13th IEEE International Symposium on Software Reliability Engineering (ISSRE 2002)
- 10th IEEE International Conference on Computer Communications and Networks (ICCCN 2001)
- 12th IEEE International Symposium on Software Reliability Engineering (ISSRE 2001)
Student Paper Chair
- International Symposium on Software Reliability Engineering, 2013
- International Symposium on Software Reliability Engineering, 2012
Fast Abstracts Chair
- International Symposium on Software Reliability Engineering, 2008
- International Symposium on Software Reliability Engineering, 2007 (co-chair)
- International Symposium on Software Reliability Engineering, 2006
- International Symposium on Software Reliability Engineering, 2005 (co-chair)
Poster Chair
- ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)
Conference Publications Chair
- International Symposium on Software Reliability Engineering, 2010
- International Symposium on Software Reliability Engineering, 2009
Conference Local Arrangements Chair
- International Symposium on Software Reliability Engineering, 2003
Conference Panels Chair
- 11th ACM/IEEE International Conference on Model Driven Engineering, Languages, and Systems 2008
Conference Publicity Chair
- 8th IEEE International Conference on Software Security and Reliability (SERE), 2014
Conference Tools and Demonstrations Co-Chair
- ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems
Conference Web Chair
- 1st International Conference on Software Testing, Verification, and Validation (ICST 2008)
- ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2005
Workshop Steering Committee
- MoDeVVA -- Model Design, Validation, and Verification
Workshops Chair
- 19th International Conference on Software Security, Reliability, and Security (QRS 2019)
- International Symposium on Software Reliability Engineering (ISSRE 2016)
Workshop Chair
- IWPD 2014 --- International Workshop on Program Debugging @ ISSRE 2014 (co-chair)
- MoDeVVA -- Model Design, Validation, and Verification at MoDELS 2008 (co-chair)
- MoDeVVA -- Model Design, Validation, and Verification at MoDELS 2007 (co-chair)
- MoDeVA -- Model Design and Validation at MoDELS 2005 (co-chair)
Program Committee Member (Workshops)
- Mutation Analysis at ICST 2021
- Tool Demonstrations at ICSE 2020
- Tool Demonstrations at MODELS 2020
- Mutation Analysis at ICST 2020
- Tool Demonstrations at MODELS 2019
- Mutation Analysis at ICST 2019
- IEEE International Workshop on Debugging and Repair @ ISSRE 2018
- Automation of Software Test (AST) at ICSE 2018
- Advances in Model-Based Testing (AMOST) at ICST 2018
- Mutation Analysis at ICST 2018
- Advances in Model-Based Testing (AMOST) at ICST 2017
- Mutation Analysis at ICST 2017
- Modularity in Modeling Workshop at Modularity 2017
- Educators Symposium at MODELS 2017
- ACM Student Research Competition at ICSE 2016
- Advances in Model-Based Testing (AMOST) at ICST 2016
- Mutation Analysis at ICST 2016
- Modularity in Modeling Workshop at Modularity 2016
- 4th International Workshop on Regression Testing (Regression 2014) at ICST 2014
- 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013
- 3rd International Workshop on Regression Testing (Regression 2013) at ICST 2013
- 2nd International Workshop on Regression Testing (Regression 2012) at ICST 2012
- 5th International Workshop on Automation of Software Test at ICSE 2010
- Workshop on Quality of Model-Based Testing at ICST 2010
- International workshop on Validation and Verification of Dynamic Software Systems at ICST 2010
- Aspect-Oriented Modeling Workshop at MODELS 2009
- Model-Driven Engineering, Verification, and Validation Workshop at MODELS 2009
- Fourth International Workshop on Automation of Software Test at ICSE 2009
- Fourth International Workshop on Mutation Analysis at ICST 2009
- Doctoral symposium at 11th ACM/IEEE International Conference on Model Driven Engineering, Languages, and Systems 2008
- 4th Workshop on Advances in Model-based Software Testing (A-MOST'07) at ICST 2008
- Third International Workshop on Automation of Software Test at ICSE 2008
- Aspect Oriented Modeling Workshop at AOSD 2008
- Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2007
- Aspect Oriented Modeling Workshop at MoDELS 2007
- Second International workshop on Model Size Metrics at MoDELS 2007
- Domain-Specific Approaches to Software Test Automation (DoSTA) at ESEC/FSE 2007
- 1st IEEE International Workshop on Testing Emerging Software Technology at COMPSAC 2007
- Second International Workshop on Automation of Software Test at ICSE 2007
- 3rd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSTA 2007
- Aspect Oriented Modeling Workshop at AOSD 2007
- 3rd Workshop on Mutation Analysis at TAIC Part 2007
- 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSRE 2006
- 2nd Workshop on Mutation Analysis at ISSRE 2006
- Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2006
- 5th International Workshop on Critical Systems Development Using Modeling Languages at MoDELS 2006
- 2nd International Workshop on Testing and Quality Assurance for Component-based Systems (TQACBS) at COMPSAC 2006
- Aspect Oriented Modeling Workshop at MoDELS 2006
- Aspect Oriented Modeling Workshop at AOSD 2006
- Aspect Oriented Modeling Workshop at MoDELS 2005
- Aspect Oriented Modeling Workshop at AOSD 2005
- Workshop on Quality Assurance and Testing of Web-Based Applications at COMPSAC 2004
- Workshop on Software Cybernetics at COMPSAC 2004
- IEEE Workshop on Source Code Analysis and Manipulation (SCAM 2003)
Reviewer
External Reviewer
- VIDI Program, Innovational Research Incentives Scheme (Vernieuwingsimpuls), 2002
- Habilitation Thesis, University Of Vienna, Austria, 2004
- PhD thesis, University of Western Australia, 2012
- NSF, USA
- NSERC, Canada
- CASI, Colorado, USA
- Austrian Science Fund, Austria
- Texas Higher Education Advanced Research Program
- UMONS Fundamental Research Programme at UMONS
- ACM Transactions on Software Engineering and Methodologies
- IEEE Computer
- IEEE Internet Computing
- IEEE Software
- IEEE Systems, Man and Cybernetics - Part A: Systems and Humans
- IEEE Transactions on Computers
- IEEE Transactions on Software Engineering
- IET Software
- Information and Software Technology, Elsevier
- Information Technology and Management, Springer
- International Journal of Software Engineering and Knowledge Engineering
- International Journal of Software Maintenance and Evolution, Wiley
- International Journal of Computers and Applications, Acta
- Journal of the Brazilian Computer Society, Springer
- Journal of Computer Languages
- Journal of Software Evolution and Process
- Journal of Software Testing Verification and Reliability, Wiley
- Journal of Systems and Software, Elsevier
- Software and Systems Modeling, Springer
- Software Quality Journal, Kluwer
- Software: Practice and Experience, Wiley
- Transactions of the Society for Modeling and Simulation International
- Transactions on Aspect-Oriented Software Development, Springer
- COMPSAC 2004, 2003
- FST&TCS 2000
- ICCCN 2001
- ICCBSS 2008, 2007
- ISSRE 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001
- MASCOTS 1999
- MoDELS 2007, 2006, 2005
- MUTATION 2000
- SAC 2007
- SAFECOMP 2004, 2003
- SIRI 2006
- UML 2003, 2001
- IEEE CHC60 2006
- IEEE CSIDC 2006, 2005, 2004, 2003
- Addison-Wesley Longman
- McGraw Hill
- Wiley