OAR@UM: Browsing OAR@UM

Browsing by Author Colombo, Christian

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 112 to 124 of 124 < previous

Issue Date	Title	Author(s)
2020	A technique for automata-based verification with residual reasoning	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2020	Themulus : a timed contract-calculus	Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2020	Towards a comprehensive solution for secure cryptographic protocol execution based on runtime verification	Colombo, Christian; Mark Joseph
2012	Towards a specification-based correctness of Erlang systems through asynchronous monitoring	Colombo, Christian; Francalanza, Adrian
2013	Towards incremental mutation testing	Cachia, Mark Anthony; Micallef, Mark; Colombo, Christian
2012-06	Trusting the machine	Pace, Gordon J.; Colombo, Christian
2015	Using control flow analysis to improve the effectiveness of incremental mutation testing	Bajada, Luke; Micallef, Mark; Colombo, Christian
2014-11	Using DSLs for software testing	Micallef, Mark; Colombo, Christian
2013	Using Gherkin for interaction design testing and monitoring	Cauchi, Abigail; Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2016	Using gherkin to extract tests and monitors for safer medical device interaction design	Cauchi, Abigail; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2023	Using infrastructure-based agents to enhance forensic logging of third-party applications	Bellizzi, Jennifer; Vella, Mark; Colombo, Christian; Hernandez-Castro, Julio
2023	VEDRANDO : a novel way to reveal stealthy attack steps on android through memory forensics	Bellizzi, Jennifer; Losiouk, Eleonora; Conti, Mauro; Colombo, Christian; Vella, Mark
2014	Verifying web applications : from business level specifications to automated model-based testing	Colombo, Christian; Micallef, Mark; Scerri, Mark

Showing results 112 to 124 of 124 < previous