Committees, Conferences and Workshops

I am the chair of the ICTSS- IFIP International Conference on Testing Software and Systems Steering Committee (2021-currently).

I am a member of the Software Verification and Testing. ACM/SIGAPP Symposium on Applied Computing steering committee .

I am a member of the Editorial Board of  the Journal of Information and Telecommunication. I also was vice-president of the Sociedad de Computación Concurrente y Distribuida (2015- 2019).

During 2024 I am involved in the following events:

SAC-SVT 2025: Software Verification and Testing

FASE 2025: 28th International Conference on Fundamental Approaches to Software Engineering

ICTSS 2025: IFIP Int. Conference on Testing Software and Systems

Previously, I was involved in …

Program Committees

• FASE 2024: 27th International Conference on Fundamental Approaches to Software Engineering  (PC Member)
• FUZZ-IEEE 2021 : IEEE International Conference on Fuzzy Systems (PC Member)
• TestEd: International Software Testing Education Workshop. [2020, 2023
  , 2024 ]
• EA/AIE 2020: 33th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
• ACIIDS: Asian Conference on Intelligent Information and Database Systems [2019, 2020,2021, 2022]
• QUATIC-QASS: Quality Aspects in Safety and Security Track [2018, 2019]
• ANT: Int. Conference on Ambient Systems, Networks and Technologies [2016, 2017, 2018, 2019, 2020,2021]
• STAM: Int. Workshop on Security Testing and Monitoring [2016]
• QRS: SERE + QSIC: Int. Conference on Software Quality, Reliability and Security [2015, 2016, 2017, 2018, 2019, 2020,2021, 2022]
• IWANN: Int. Work-Conference on Artificial Neural Networks [2015, 2017, 2019]
• ICCCI: Int. Conf. on Computational Collective Intelligence, Technologies and Applications  [2018, 2019, 2020,2021, 2022]
• SAC-SVT: Software Verification and Testing [2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020,2021, 2022, 2023, 2024 ]
• QSIC: Int. Conference on Quality Software [2012, 2013, 2014]
• APSEC: Asia-Pacific Software Engineering Conference  [2012]
• ICTSS: IFIP Int. Conference on Testing Software and Systems [2011, 2012, 2013, 2014, 2015, 2017, 2018, 2019, 2020,2021, 2023]
• SEFM: Int. Conference on Software Engineering and Formal Methods [2011, 2012 , 2013, 2014, 2015, 2016, 2017, 2018]
• MoDeVVA: Workshop on Model-Driven Engineering, Verification, and Validation [2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020,2021, 2022
  , 2024]
• ICST: Int. Conference on Software Testing Verification and Validation [2010, 2011, 2012,2021]
• AMOST: Int. Workshop on Advances in Model Based Testing [2009, 2010, 2011, 2012 , 2013, 2014, 2015, 2016, 2017, 2018, 2019, 2020,2021,2022, 2023]
• Mutation: Int. Workshop on Mutation Analysis [2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016]
• AINA: Int. Conference on Advanced Information Networking and Applications [2009, 2010]
• Int. Workshop on Intelligent Service Management [2009, 2010]
• VALID: Int. Conference on Advances in System Testing and Validation Lifecycle [2009, 2010]
• AST: Int. Workshop on the Automation of Software Testing [2009, 2010]
• ICONS: Int. Conference on Systems [2009, 2010]
• TESTCOM/FATES: IFIP Int. Conference on Testing of Communicating Systems [2009]
• AP2PS Int. Conference on Advances in P2P Systems [2009]
• CISIS: Int. Conf. on Complex, Intelligent and Software Intensive Systems [2009]
• AC: Int. Conference Applied Computing. [2007, 2008].
• WS-MATE: Int. Workshop on Web Services – Modeling and Testing [2007].
• SITIS: Int. Conference on Signal-Image Technology and Internet-Based Systems – Track on Web-Based Information Technologies and Distributed Systems [2006, 2007, 2008, 2009, 2010].

PC Co-chair

• QUATIC 2024: International Conference on the Quality of Information and Communications Technology
• QRS 2023: International Conference on Software Quality, Reliability and Security
• ICTSS 2018: 30th IFIP International Conference on Testing Software and Systems
• SAC-SVT 2017: Software Verification and Testing
• QRS 2016: International Conference on Software Quality, Reliability and Security [Student Doctoral Chair]
• SAC-SVT 2016: Software Verification and Testing
• ICTSS 2014: 26th IFIP International Conference on Testing Software and Systems
• SEFM 2013: 11th International Conference on Software Engineering and Formal Methods
• Mutation 2012: 7th Int. Workshop on Mutation Analysis
• QSIC 2011: 10th International Conference on Quality Software
• Mutation 2011: 6th Int. Workshop on Mutation Analysis
• AMOST 2008: 4th Int. Workshop on Advances in Model Based Testing

Events Organization

• SEFM 2025: 11th International Conference on Software Engineering and Formal Methods [Financial Chair].
• DISCOTEC 2018: 13th International Federated Conference on Distributed Computing Techniques [Financial Chair].
• ICCCI 2015: 7th International Conference on Computational Collective Intelligence Technologies and Applications [Financial Chair].
• ICST 2015: 8th Int. Conference on Software Testing Verification and Validation [Workshop Chair].
• ICST 2013: 6th Int. Conference on Software Testing Verification and Validation [Publicity Chair].
• TESTCOM/FATES 2009: 21st IFIP Int. Conference on Testing of Communicating Systems [Organizing Chair] .
• TAROT Summer School: Training and Research on Testing Summer School [2022, 2009, 2008, 2006] [Organizing Committee].
• WS-FM 2006: 3rd Int. Workshop on Web Services and Formal Methods [Organizing Committee].