Browsing by Author Micallef, Mark

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 32 of 32
Issue DateTitleAuthor(s)
2016Automatically generating runtime monitors from testsCauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2013A case study on graphically modelling and detecting knowledge mobility risksMicallef, Mark; Colombo, Christian
2014-11Challenges faced when forcing malware execution down hidden pathsGatt, James; Vella, Mark; Micallef, Mark
2011An event-driven cartographic approach to modelling software engineering knowledgeCachia, Ernest; Micallef, Mark
2011An event-driven language for cartographic modelling of knowledge in software development organisationsMicallef, Mark; Colombo, Christian
2017Exploring the link between test suite quality and automatic specification inferenceChircop, Luke; Colombo, Christian; Micallef, Mark
2014-11Extracting monitors from JUnit testsColombo, Christian; Micallef, Jonathan; Micallef, Mark
2014-11Improving the Gherkin specification language using aspect-oriented techniquesAquilina Alamango, John; Colombo, Christian; Micallef, Mark
2008Information driven SDLC conceptsCachia, Ernest; Micallef, Mark
2012Integrating mutation testing into agile processes through equivalent mutant reduction via differential symbolic executionCachia, Mark Anthony; Micallef, Mark
2018Investigating information anxiety in the Maltese ICT industryMicallef, Mark
2009A language for modeling software development life cyclesCachia, Ernest; Micallef, Mark
2015Lessons learnt from using DSLs for automated software testingMicallef, Mark; Colombo, Christian
2013-11Leveraging P2P systems to address the test scenario explosion problemMangion, Andrea; Attard, Sebastian; Micallef, Mark; Attard, Conrad
2014Lifelong verification of software systemsColombo, Christian; Micallef, Mark; Pace, Gordon J.
2012-11Making mutation testing a more feasible proposition for the industryMicallef, Mark; Cachia, Mark Anthony
2005Measuring the functionality of online storesCachia, Ernest; Micallef, Mark
2003A metrication and comparison framework for e-commerce systemsMicallef, Mark
2007A multi-tier, multi-role security framework for e-commerce systemsCachia, Ernest; Micallef, Mark
2015-09Mutate my softwareMicallef, Mark; Colombo, Christian
2006An ontology of security threats to web applicationsCachia, Ernest; Micallef, Mark
2013-11Search based software engineeringMicallef, Mark
2018Through the lens : documentary on collectors and their obsessions using installation artMicallef, Mark
2013-11Towards a tunable, sandbox-independent approach for exploring hidden behavior in malwareGatt, James; Vella, Mark; Micallef, Mark
2008Towards an information driven software development life cycleCachia, Ernest; Micallef, Mark
2004Towards effectively appraising online storesCachia, Ernest; Micallef, Mark
2013Towards incremental mutation testingCachia, Mark Anthony; Micallef, Mark; Colombo, Christian
2015Using control flow analysis to improve the effectiveness of incremental mutation testingBajada, Luke; Micallef, Mark; Colombo, Christian
2014-11Using DSLs for software testingMicallef, Mark; Colombo, Christian
2016Using gherkin to extract tests and monitors for safer medical device interaction designCauchi, Abigail; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2013Using symbolic execution for equivalent mutant detectionCachia, Mark Anthony; Micallef, Mark
2014Verifying web applications : from business level specifications to automated model-based testingColombo, Christian; Micallef, Mark; Scerri, Mark