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 24 to 43 of 65 < previous next >

Issue Date	Title	Author(s)
2014	Improving the effectiveness of incremental mutation testing	Bajada, Luke (2014)
2018	Introduction to runtime verification	Bartocci, Ezio; Falcone, Yliès; Francalanza, Adrian; Reger, Giles
2022-07	Investigating cognitive workload during comprehension and application tasks in software testing	Camilleri, Daryl; Micallef, Mark; Porter, Chris
2020	Investigating MR interface patterns for just in time QA information	Cachia, Matthew (2020)
2014	Investigating search-based testing techniques for test data generation	Felice, Paul (2014)
2020	Investigating the use of genetic algorithms in automated test case generation	Gatt, Cristina (2020)
2021	Investigating the use of reinforcement learning in automated test case generation	Farrugia, Matthew (2021)
2015	Is Carmen better than George? Testing the exploratory tester using HCI techniques	Borg, Andrea; Porter, Chris; Micallef, Mark
2017	Leveraging automated test case distribution and execution to mitigate the test scenario explosion problem on android mobile devices	Attard, Sebastian
2015	Maccium	Catania, Samantha
2016	A model-based approach to combining static and dynamic verification techniques	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013	Monitor-oriented compensation programming through compensating automata	Colombo, Christian; Pace, Gordon J.
2017	Monitorability for the Hennessy-Milner logic with recursion	Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2016	A monitoring tool for a branching-time logic	Attard, Duncan Paul; Francalanza, Adrian
2016	On implementing a monitor-oriented programming framework for actor systems	Cassar, Ian; Francalanza, Adrian
2018	On the efficiency of extracting static information from memory dumps	Frendo, Dylan
2016	On the runtime enforcement of evolving privacy policies in online social networks	Pace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2015-11	An overview of techniques aimed at automatically generating oracles from tests	Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2017	Preliminary investigations on runtime enforcement implementations	Farrugia, Karl
2011	Reasoning about explicit resource management	Devries, Edsko; Francalanza, Adrian; Hennessy, Matthew

Showing results 24 to 43 of 65 < previous next >