Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
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:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 27 to 46 of 65
< previous
next >
Issue Date
Title
Author(s)
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
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.