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 --
  4. Software Quality Journal, 2006 --

Volume Editor

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

Guest Editor

  1. Software Quality Journal Special Issue on Program Debugging (started in 2015, likely to be completed in 2016).
  2. 3 papers in regular issues for Journal on Software and Systems Modeling, Springer
  3. Co-editor of special issue on ICST 2010 in the Journal of Software Testing, Verification, and Reliability
  4. 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. ICST 2010 - IEEE International Conference on Software Testing, Verification and Validation

Program Committee Member (Conferences)

  1. 10th International Conference on Software Testing, Verification, and Validation (ICST 2017)
  2. 12th European Conference on Modelling Foundations and Applications (ECMFA 2016)
  3. 9th International Conference on Software Testing, Verification, and Validation (ICST 2016)
  4. 28th International Conference on Testing Software and Systems (ICTSS 2016)
  5. 27th International Symposium on Software Reliability Engineering (ISSRE 2016)
  6. IEEE International Conference on Software Quality, Reliability, and Security (QRS 2016)
  7. Rocky Mountain Celebration of Women in Computing (RMCWiC 2016)
  8. Asia-Pacific Software Engineering Conference (APSEC 2015)
  9. 27th International Conference on Testing Software and Systems (ICTSS 2015)
  10. IEEE International Confernce on Software Quality, Reliability, and Security (QRS 2015)
  11. 26th International Symposium on Software Reliability Engineering (ISSRE 2015)
  12. 37th International Conference on Software Engineering (ICSE 2015), New Ideas and Emerging Results (NIER)
  13. 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015)
  14. 25th International Symposium on Software Reliability Engineering (ISSRE 2014)
  15. 14th International Conference on Quality Software (QSIC 2014)
  16. Software Engineering In Practice (SEIP), International Conference on Software Engineering (ICSE 2014)
  17. Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2014)
  18. New Ideas and Emerging Results (NIER), International Conference on Software Engineering (ICSE 2013)
  19. 6th International Conference on Software Testing, Verification, and Validation (ICST 2013)
  20. 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
  21. 13th International Conference on Quality Software (QSIC 2013)
  22. 23rd International Symposium on Software Reliability Engineering (ISSRE 2012)
  23. 5th International Conference on Software Testing, Verification, and Validation (ICST 2012)
  24. ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012)
  25. 14th International Conference on Component Based Software Engineering (CBSE 2011)
  26. 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011)
  27. 22nd International Symposium on Software Reliability Engineering (ISSRE 2011)
  28. 11th International Conference on Quality Software (QSIC 2011)
  29. 21st International Symposium on Software Reliability Engineering (ISSRE 2010)
  30. 13th International Conference on Component Based Software Engineering (CBSE 2010)
  31. 13th International Conference on Component Based Software Engineering (CBSE 2010)
  32. 10th International Conference on Quality Software (QSIC 2010)
  33. ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010)
  34. 4th IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)
  35. 12th International Conference on Component Based Software Engineering (CBSE 2009)
  36. 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2009)
  37. 9th International Conference on Quality Software (QSIC 2009)
  38. 2nd International Conference on Software Testing, Validation, and Verification (ICST 2009)
  39. 19th International Symposium on Software Reliability Engineering (ISSRE 2008)
  40. 8th International Conference on Quality Software (QSIC) 2008
  41. 2nd IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI 2008)
  42. 23rd Annual ACM Symposium on Applied Computing, SE Track (SAC 2008)
  43. 1st International Conference on Software Testing, Validation, and Verification (ICST 2008)
  44. 7th IEEE International Conference on COTS-based Software Systems (ICCBSS 2008)
  45. 18th IEEE International Symposium on Software Reliability Engineering (ISSRE 2007)
  46. ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2007
  47. 7th International Conference on Quality Software (QSIC) 2007
  48. 22nd Annual ACM Symposium on Applied Computing, SE Track (SAC 2007)
  49. 6th IEEE International Conference on COTS-based Software Systems (ICCBSS 2007)
  50. First IEEE International Conference on System Integration and Reliability Improvements (SIRI 2006)
  51. 17th IEEE International Symposium on Software Reliability Engineering (ISSRE 2006)
  52. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2006
  53. ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS/UML) 2005
  54. 29th Annual International Computer Software and Applications Conference (COMPSAC) 2005
  55. 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)
  56. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004)
  57. 13th IEEE International Symposium on Software Reliability Engineering (ISSRE 2002)
  58. 10th IEEE International Conference on Computer Communications and Networks (ICCCN 2001)
  59. 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. 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. Advances in Model-Based Testing (AMOST) at ICST 2017
  2. Mutation Analysis at ICST 2017
  3. Modularity in Modeling Workshop at Modularity 2017
  4. Educators Symposium at MODELS 2017
  5. ACM Student Research Competition at ICSE 2016
  6. Advances in Model-Based Testing (AMOST) at ICST 2016
  7. Mutation Analysis at ICST 2016
  8. Modularity in Modeling Workshop at Modularity 2016
  9. 4th International Workshop on Regression Testing (Regression 2014) at ICST 2014
  10. 7th Brazilian Workshop on Systematic and Automated Software Testing, 2013
  11. 3rd International Workshop on Regression Testing (Regression 2013) at ICST 2013
  12. 2nd International Workshop on Regression Testing (Regression 2012) at ICST 2012
  13. 5th International Workshop on Automation of Software Test at ICSE 2010
  14. Workshop on Quality of Model-Based Testing at ICST 2010
  15. International workshop on Validation and Verification of Dynamic Software Systems at ICST 2010
  16. Aspect-Oriented Modeling Workshop at MODELS 2009
  17. Model-Driven Engineering, Verification, and Validation Workshop at MODELS 2009
  18. Fourth International Workshop on Automation of Software Test at ICSE 2009
  19. Fourth International Workshop on Mutation Analysis at ICST 2009
  20. Doctoral symposium at 11th ACM/IEEE International Conference on Model Driven Engineering, Languages, and Systems 2008
  21. 4th Workshop on Advances in Model-based Software Testing (A-MOST'07) at ICST 2008
  22. Third International Workshop on Automation of Software Test at ICSE 2008
  23. Aspect Oriented Modeling Workshop at AOSD 2008
  24. Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2007
  25. Aspect Oriented Modeling Workshop at MoDELS 2007
  26. Second International workshop on Model Size Metrics at MoDELS 2007
  27. Domain-Specific Approaches to Software Test Automation (DoSTA) at ESEC/FSE 2007
  28. 1st IEEE International Workshop on Testing Emerging Software Technology at COMPSAC 2007
  29. Second International Workshop on Automation of Software Test at ICSE 2007
  30. 3rd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSTA 2007
  31. Aspect Oriented Modeling Workshop at AOSD 2007
  32. 3rd Workshop on Mutation Analysis at TAIC Part 2007
  33. 2nd Workshop on Advances in Model-based Software Testing (A-MOST'06) at ISSRE 2006
  34. 2nd Workshop on Mutation Analysis at ISSRE 2006
  35. Eclipse Technology Exchange Workshop (eTX) at OOPSLA 2006
  36. 5th International Workshop on Critical Systems Development Using Modeling Languages at MoDELS 2006
  37. 2nd International Workshop on Testing and Quality Assurance for Component-based Systems (TQACBS) at COMPSAC 2006
  38. Aspect Oriented Modeling Workshop at MoDELS 2006
  39. Aspect Oriented Modeling Workshop at AOSD 2006
  40. Aspect Oriented Modeling Workshop at MoDELS 2005
  41. Aspect Oriented Modeling Workshop at AOSD 2005
  42. Workshop on Quality Assurance and Testing of Web-Based Applications at COMPSAC 2004
  43. Workshop on Software Cybernetics at COMPSAC 2004
  44. 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 Software Testing Verification and Reliability, Wiley
  16. Journal of Systems and Software, Elsevier
  17. Software and Systems Modeling, Springer
  18. Software Quality Journal, Kluwer
  19. Software: Practice and Experience, Wiley
  20. Transactions of the Society for Modeling and Simulation International
  21. 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