OAR@UM: Browsing OAR@UM

Browsing by Subject Computer software -- Testing

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 42 to 61 of 65 < previous next >

Issue Date	Title	Author(s)
2017	Preliminary investigations on runtime enforcement implementations	Farrugia, Karl
2011	Reasoning about explicit resource management	Devries, Edsko; Francalanza, Adrian; Hennessy, Matthew
2020	Rethinking the bug tracking paradigm	Cauchi, Kieran (2020)
2015	Runtime adaptation for actor systems	Cassar, Ian; Francalanza, Adrian
2010	Runtime monitoring of distributed systems	Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2017	A runtime monitoring tool for actor-based systems	Attard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2020	Runtime verification for API based software	Bartolo Burlo`, Christian (2020)
2021	Scared, frustrated and quietly proud : testers’ lived experience of tools and automation	Evans, Isabel; Porter, Chris; Micallef, Mark
2018	Securing calls to ethereum smart contracts with static and dynamic analysis	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013	SMock - a test platform for monitoring tools	Colombo, Christian; Mizzi, Ruth; Pace, Gordon J.
2015	A specification language for static and runtime verification of data and control properties	Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2009	Statistics and runtime verification	Gauci, Andrew; Pace, Gordon J.; Colombo, Christian
2020	Stuck in limbo with magical solutions : the testers’ lived experiences of tools and automation	Evans, Isabel; Porter, Chris; Micallef, Mark; Harty, Julian
2017	A survey of runtime monitoring instrumentation techniques	Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2015	Synthesising correct concurrent runtime monitors	Francalanza, Adrian; Seychell, Aldrin
2020	Test tools : an illusion of usability?	Evans, Isabel; Porter, Chris; Micallef, Mark; Harty, Julian
2015	Testing the tester	Borg, Andrea
2022	Towards domain-specific automated testing via behavioural cloning	Gatt, Cristina; Bugeja, Mark; Micallef, Mark
2019	Towards human-centric software testing	Catania, Samantha; Porter, Chris; Micallef, Mark
2012	A unified approach for static and runtime verification : framework and applications	Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo

Showing results 42 to 61 of 65 < previous next >