Mark Micallef

According to our database1, Mark Micallef authored at least 18 papers between 2004 and 2017.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Exploring the Link Between Test Suite Quality and Automatic Specification Inference.
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017

2016
Do Exploratory Testers Need Formal Training? An Investigation Using HCI Techniques.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Using gherkin to extract tests and monitors for safer medical device interaction design.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2016

2015
Using control flow analysis to improve the effectiveness of incremental mutation testing.
Proceedings of the 14th International Workshop on Principles of Software Evolution, 2015

Lessons learnt from using DSLs for automated software testing.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Poster: Is Carmen Better than George? Testing the Exploratory Tester Using HCI Techniques.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing.
Proceedings of the Proceedings Ninth Workshop on Model-Based Testing, 2014

Leveraging P2P networks to address the test scenario explosion problem.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Towards Incremental Mutation Testing.
Electr. Notes Theor. Comput. Sci., 2013

A Case Study on Graphically Modelling and Detecting Knowledge Mobility Risks.
ECEASST, 2013

2011
An Event-driven Cartographic Approach to Modelling Software Engineering Knowledge.
Proceedings of the KMIS 2011, 2011

2009
A Language for Modeling Software Development Life Cycles.
Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

2008
Towards an Information Driven Software Development Life Cycle.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008

2007
A Multi-Tier, Multi-Role Security Framework for E-Commerce Systems.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006
Towards a RAD Framework for E-Commerce Systems.
Proceedings of the WEBIST 2006, 2006

Measuring the Usability of Online Stores.
Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

2005
Measuring the Functionality of Online Stores.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Towards Effectively Appraising Online Stores.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004


  Loading...