Service

Memberships in professional societies

  1. Association of Computing Machinery
  2. IEEE
  3. IEEE Computer Society

Associate Editor

  1. Software Quality Journal, 2011 --

Member, Editorial Board

  1. IEEE Transactions on Reliability, 2017 --
  2. Information and Software Technology, 2008 --
  3. Journal of Software Testing, Verification, and Reliability, 2006 -- 2019
  4. Software Quality Journal, 2006 --

Volume Editor

  1. MODELS 2009 post-proceedings, LNCS 6002, Springer.

Guest Editor

  1. Journal of Software Testing, Verification, and Reliability Special Issue on papers invited from ISSRE 2018 started in 2018, to be completed in 2020).
  2. Software Quality Journal Special Issue on Trustworthy Systems and Software, 2019.
  3. Software Quality Journal Special Issue on Program Debugging (started in 2015, completed in 2017).
  4. 3 papers in regular issues for Journal on Software and Systems Modeling, Springer
  5. Co-editor of special issue on ICST 2010 in the Journal of Software Testing, Verification, and Reliability
  6. Co-editor of special section in Software Quality Journal for papers selected from ACM SAC 2007

Conference General Co-Chair

  1. MODULARITY 2015 - 14th International Conference on Modularity
  2. MODELS 2009 - ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems

Conference General Chair

  1. SPIE's ITCom 2003 - Conference on Java/Jini Technologies
  2. SPIE's ITCom 2002 - Conference on Java/Jini Technologies
  3. SPIE's ITCom 2001 - Conference on Java/Jini Technologies

Conference Program Co-Chair

  1. ISSRE 2018 - 29th International Symposium on Software Reliability Engineering
  2. DSA 2017 - Fourth International Conference on Dependable Systems and Their Applications (sponsored by IEEE Reliability Society)
  3. ICST 2010 - IEEE International Conference on Software Testing, Verification and Validation

Program Committee Member (Conferences)

  1. 32nd International Symposium on Software Reliability Engineering (ISSRE 2021) ISSRE Program Board
  2. European Conference on Modelling Foundations and Applications (ECMFA 2021)
  3. IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021)
  4. 28th IEEE International Conference on Software Analysis, Evolution, and Reengineering Industry Track (SANER 2021)
  5. European Conference on Modelling Foundations and Applications (ECMFA 2020)
  6. 31st International Symposium on Software Reliability Engineering (ISSRE 2020) ISSRE Program Board
  7. IEEE International Conference on Software Quality, Reliability, and Security (QRS 2020)
  8. 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering Industry Track (SANER 2020)
  9. European Conference on Modelling Foundations and Applications (ECMFA 2019)
  10. IEEE International Conference on Software Quality, Reliability, and Security (QRS 2019)
  11. 30th International Symposium on Software Reliability Engineering (ISSRE 2019) ISSRE Program Board
  12. 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering Industry Track (SANER 2019)
  13. IEEE International Conference on Software Quality, Reliability, and Security (QRS 2018)
  14. 28th International Symposium on Software Reliability Engineering (ISSRE 2017)
  15. IEEE International Conference on Software Quality, Reliability, and Security (QRS 2017)
  16. 10th International Conference on Software Testing, Verification, and Validation (ICST 2017)
  17. 12th European Conference on Modelling Foundations and Applications (ECMFA 2016)
  18. 9th International Conference on Software Testing, Verification, and Validation (ICST 2016)
  19. 28th International Conference on Testing Software and Systems (ICTSS 2016)
  20. 27th International Symposium on Software Reliability Engineering (ISSRE 2016)
  21. IEEE International Conference on Software Quality, Reliability, and Security (QRS 2016)
  22. Rocky Mountain Celebration of Women in Computing (RMCWiC 2016)
  23. Asia-Pacific Software Engineering Conference (APSEC 2015)
  24. 27th International Conference on Testing Software and Systems (ICTSS 2015)
  25. IEEE International Confernce on Software Quality, Reliability, and Security (QRS 2015)
  26. 26th International Symposium on Software Reliability Engineering (ISSRE 2015)
  27. 37th International Conference on Software Engineering (ICSE 2015), New Ideas and Emerging Results (NIER)
  28. 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015)
  29. 25th International Symposium on Software Reliability Engineering (ISSRE 2014)
  30. 14th International Conference on Quality Software (QSIC 2014)
  31. Software Engineering In Practice (SEIP), International Conference on Software Engineering (ICSE 2014)
  32. Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2014)
  33. New Ideas and Emerging Results (NIER), International Conference on Software Engineering (ICSE 2013)
  34. 6th International Conference on Software Testing, Verification, and Validation (ICST 2013)
  35. 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
  36. 13th International Conference on Quality Software (QSIC 2013)
  37. 23rd International Symposium on Software Reliability Engineering (ISSRE 2012)
  38. 5th International Conference on Software Testing, Verification, and Validation (ICST 2012)
  39. ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012)
  40. 14th International Conference on Component Based Software Engineering (CBSE 2011)
  41. 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011)
  42. 22nd International Symposium on Software Reliability Engineering (ISSRE 2011)
  43. 11th International Conference on Quality Software (QSIC 2011)
  44. 21st International Symposium on Software Reliability Engineering (ISSRE 2010)
  45. 13th International Conference on Component Based Software Engineering (CBSE 2010)
  46. 13th International Conference on Component Based Software Engineering (CBSE 2010)
  47. 10th International Conference on Quality Software (QSIC 2010)
  48. ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010)
  49. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)
  50. 12th International Conference on Component Based Software Engineering (CBSE 2009)
  51. 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009)
  52. 9th International Conference on Quality Software (QSIC 2009)
  53. 2nd International Conference on Software Testing, Validation, and Verification (ICST 2009)
  54. 19th International Symposium on Software Reliability Engineering (ISSRE 2008)
  55. 8th International Conference on Quality Software (QSIC) 2008
  56. 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008)
  57. 23rd Annual ACM Symposium on Applied Computing, SE Track (SAC 2008)
  58. 1st International Conference on Software Testing, Validation, and Verification (ICST 2008)
  59. 7th IEEE International Conference on COTS-based Software Systems (ICCBSS 2008)
  60. 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007)
  61. ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2007
  62. 7th International Conference on Quality Software (QSIC) 2007
  63. 22nd Annual ACM Symposium on Applied Computing, SE Track (SAC 2007)
  64. 6th IEEE International Conference on COTS-based Software Systems (ICCBSS 2007)
  65. First IEEE International Conference on System Integration and Reliability Improvements (SIRI 2006)
  66. 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)
  67. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2006
  68. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2005
  69. 29th Annual International Computer Software and Applications Conference (COMPSAC) 2005
  70. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)
  71. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004)
  72. 13th IEEE International Symposium on Software Reliability Engineering (ISSRE 2002)
  73. 10th IEEE International Conference on Computer Communications and Networks (ICCCN 2001)
  74. 12th IEEE International Symposium on Software Reliability Engineering (ISSRE 2001)

Student Paper Chair

  1. International Symposium on Software Reliability Engineering, 2013
  2. International Symposium on Software Reliability Engineering, 2012

Fast Abstracts Chair

  1. International Symposium on Software Reliability Engineering, 2008
  2. International Symposium on Software Reliability Engineering, 2007 (co-chair)
  3. International Symposium on Software Reliability Engineering, 2006
  4. International Symposium on Software Reliability Engineering, 2005 (co-chair)

Poster Chair

  1. ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)

Conference Publications Chair

  1. International Symposium on Software Reliability Engineering, 2010
  2. International Symposium on Software Reliability Engineering, 2009

Conference Local Arrangements Chair

  1. International Symposium on Software Reliability Engineering, 2003

Conference Panels Chair

  1. 11th ACM/IEEE International Conference on Model Driven Engineering, Languages, and Systems 2008

Conference Publicity Chair

  1. 8th IEEE International Conference on Software Security and Reliability (SERE), 2014

Conference Tools and Demonstrations Co-Chair

  1. ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems

Conference Web Chair

  1. 1st International Conference on Software Testing, Verification, and Validation (ICST 2008)
  2. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2005

Workshop Steering Committee

  1. MoDeVVA -- Model Design, Validation, and Verification

Workshops Chair

  1. 19th International Conference on Software Security, Reliability, and Security (QRS 2019)
  2. International Symposium on Software Reliability Engineering (ISSRE 2016)

Workshop Chair

  1. IWPD 2014 --- International Workshop on Program Debugging @ ISSRE 2014 (co-chair)
  2. MoDeVVA -- Model Design, Validation, and Verification at MoDELS 2008 (co-chair)
  3. MoDeVVA -- Model Design, Validation, and Verification at MoDELS 2007 (co-chair)
  4. MoDeVA -- Model Design and Validation at MoDELS 2005 (co-chair)

Program Committee Member (Workshops)

  1. Mutation Analysis at ICST 2021
  2. Tool Demonstrations at ICSE 2020
  3. Tool Demonstrations at MODELS 2020
  4. Mutation Analysis at ICST 2020
  5. Tool Demonstrations at MODELS 2019
  6. Mutation Analysis at ICST 2019
  7. IEEE International Workshop on Debugging and Repair @ ISSRE 2018
  8. Automation of Software Test (AST) at ICSE 2018
  9. Advances in Model-Based Testing (AMOST) at ICST 2018
  10. Mutation Analysis at ICST 2018
  11. Advances in Model-Based Testing (AMOST) at ICST 2017
  12. Mutation Analysis at ICST 2017
  13. Modularity in Modeling Workshop at Modularity 2017
  14. Educators Symposium at MODELS 2017
  15. ACM Student Research Competition at ICSE 2016
  16. Advances in Model-Based Testing (AMOST) at ICST 2016
  17. Mutation Analysis at ICST 2016
  18. Modularity in Modeling Workshop at Modularity 2016
  19. 4th International Workshop on Regression Testing (Regression 2014) at ICST 2014
  20. 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013
  21. 3rd International Workshop on Regression Testing (Regression 2013) at ICST 2013
  22. 2nd International Workshop on Regression Testing (Regression 2012) at ICST 2012
  23. 5th International Workshop on Automation of Software Test at ICSE 2010
  24. Workshop on Quality of Model-Based Testing at ICST 2010
  25. International workshop on Validation and Verification of Dynamic Software Systems at ICST 2010
  26. Aspect-Oriented Modeling Workshop at MODELS 2009
  27. Model-Driven Engineering, Verification, and Validation Workshop at MODELS 2009
  28. Fourth International Workshop on Automation of Software Test at ICSE 2009
  29. Fourth International Workshop on Mutation Analysis at ICST 2009
  30. Doctoral symposium at 11th ACM/IEEE International Conference on Model Driven Engineering, Languages, and Systems 2008
  31. 4th Workshop on Advances in Model-based Software Testing (A-MOST'07) at ICST 2008
  32. Third International Workshop on Automation of Software Test at ICSE 2008
  33. Aspect Oriented Modeling Workshop at AOSD 2008
  34. Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2007
  35. Aspect Oriented Modeling Workshop at MoDELS 2007
  36. Second International workshop on Model Size Metrics at MoDELS 2007
  37. Domain-Specific Approaches to Software Test Automation (DoSTA) at ESEC/FSE 2007
  38. 1st IEEE International Workshop on Testing Emerging Software Technology at COMPSAC 2007
  39. Second International Workshop on Automation of Software Test at ICSE 2007
  40. 3rd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSTA 2007
  41. Aspect Oriented Modeling Workshop at AOSD 2007
  42. 3rd Workshop on Mutation Analysis at TAIC Part 2007
  43. 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSRE 2006
  44. 2nd Workshop on Mutation Analysis at ISSRE 2006
  45. Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2006
  46. 5th International Workshop on Critical Systems Development Using Modeling Languages at MoDELS 2006
  47. 2nd International Workshop on Testing and Quality Assurance for Component-based Systems (TQACBS) at COMPSAC 2006
  48. Aspect Oriented Modeling Workshop at MoDELS 2006
  49. Aspect Oriented Modeling Workshop at AOSD 2006
  50. Aspect Oriented Modeling Workshop at MoDELS 2005
  51. Aspect Oriented Modeling Workshop at AOSD 2005
  52. Workshop on Quality Assurance and Testing of Web-Based Applications at COMPSAC 2004
  53. Workshop on Software Cybernetics at COMPSAC 2004
  54. IEEE Workshop on Source Code Analysis and Manipulation (SCAM 2003)

Reviewer


External Reviewer

  1. VIDI Program, Innovational Research Incentives Scheme (Vernieuwingsimpuls), 2002
  2. Habilitation Thesis, University Of Vienna, Austria, 2004
  3. PhD thesis, University of Western Australia, 2012
Grants
  1. NSF, USA
  2. NSERC, Canada
  3. CASI, Colorado, USA
  4. Austrian Science Fund, Austria
  5. Texas Higher Education Advanced Research Program
  6. UMONS Fundamental Research Programme at UMONS
Journals
  1. ACM Transactions on Software Engineering and Methodologies
  2. IEEE Computer
  3. IEEE Internet Computing
  4. IEEE Software
  5. IEEE Systems, Man and Cybernetics - Part A: Systems and Humans
  6. IEEE Transactions on Computers
  7. IEEE Transactions on Software Engineering
  8. IET Software
  9. Information and Software Technology, Elsevier
  10. Information Technology and Management, Springer
  11. International Journal of Software Engineering and Knowledge Engineering
  12. International Journal of Software Maintenance and Evolution, Wiley
  13. International Journal of Computers and Applications, Acta
  14. Journal of the Brazilian Computer Society, Springer
  15. Journal of Computer Languages
  16. Journal of Software Evolution and Process
  17. Journal of Software Testing Verification and Reliability, Wiley
  18. Journal of Systems and Software, Elsevier
  19. Software and Systems Modeling, Springer
  20. Software Quality Journal, Kluwer
  21. Software: Practice and Experience, Wiley
  22. Transactions of the Society for Modeling and Simulation International
  23. Transactions on Aspect-Oriented Software Development, Springer
Conferences
  1. COMPSAC 2004, 2003
  2. FST&TCS 2000
  3. ICCCN 2001
  4. ICCBSS 2008, 2007
  5. ISSRE 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001
  6. MASCOTS 1999
  7. MoDELS 2007, 2006, 2005
  8. MUTATION 2000
  9. SAC 2007
  10. SAFECOMP 2004, 2003
  11. SIRI 2006
  12. UML 2003, 2001
IEEE Contests
  1. IEEE CHC60 2006
  2. IEEE CSIDC 2006, 2005, 2004, 2003
Books
  1. Addison-Wesley Longman
  2. McGraw Hill
  3. Wiley