Research Interests & Publications
Bajada, L., Micallef, M. & Colombo, C. 2015, "Using Control Flow Analysis to Improve the Effectiveness of Incremental Mutation Testing", Proceeding of the 14th International Workshop on Principles of Software Evolution.
Borg, A., Porter, C. & Micallef, M. 2015, "Is Carmen better than George? Testing the Exploratory Tester using HCI Techniques", Proceedings of the ACM/IEEE International Conference on Software Engineering.
Micallef, M. & Colombo, C. 2015, "Lessons learnt from using DSLs for Automated Software Testing", Testing: Academic & Industrial Conference - Practice and Research Techniques.
Cachia, M.A., Micallef, M. & Colombo, C. 2014, "Towards Incremental Mutation Testing", Proceedings of The Second Workshop on Validation Strategies for Software Evolution.
Colombo, C., Micallef, M. & Scerri, M. 2014, "Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing", International Workshop on Model-Based Testing.
Micallef, M., Attard, C., Mangion, A. & Attard, S. 2014, "Leveraging P2P Networks to Address the Test Scenario Explosion Problem", Proceedings of the ACM/IEEE International Conference on Software Engineering (ICSE).
Cachia, E. & Micallef, M. 2011, "An Event-Driven Cartographic Approach to Modelling Software Engineering Knowledge", International Conference on Knowledge Management and Information Sharing, .
Cachia, E. & Micallef, M. 2009, "A Language for Modeling Software Development Life Cycles", , pp. 499.
Cachia, E. & Micallef, M. 2008, "Towards an Information Driven Software Development Life Cycle", , pp. 489.
Cachia, E. & Micallef, M. 2007, "A Multi-Tier, Multi-Role Security Framework for E-Commerce Systems", , pp. 422.