1. OAR@UM

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 16 (Search time: 0.008 seconds).
Item hits:
Issue DateTitleAuthor(s)
2013A case study on graphically modelling and detecting knowledge mobility risksMicallef, Mark; Colombo, Christian
2016Automatically generating runtime monitors from testsCauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2015Lessons learnt from using DSLs for automated software testingMicallef, Mark; Colombo, Christian
2017Exploring the link between test suite quality and automatic specification inferenceChircop, Luke; Colombo, Christian; Micallef, Mark
2014Lifelong verification of software systemsColombo, Christian; Micallef, Mark; Pace, Gordon J.
2013Towards incremental mutation testingCachia, Mark Anthony; 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.
2014-11Extracting monitors from JUnit testsColombo, Christian; Micallef, Jonathan; Micallef, Mark
2011An event-driven language for cartographic modelling of knowledge in software development organisationsMicallef, Mark; Colombo, Christian

Discover