1. OAR@UM

Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-4 of 4 (Search time: 0.004 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2016Automatically generating runtime monitors from testsCauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2014Lifelong verification of software systemsColombo, Christian; Micallef, Mark; Pace, Gordon J.
2016Using gherkin to extract tests and monitors for safer medical device interaction designCauchi, Abigail; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2016-11Improving the automatic runtime monitor generation process via pruning : a way forwardChircop, Luke; Colombo, Christian; Micallef, Mark; Francalanza, Adrian; Pace, Gordon J.

Discover