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 14 to 33 of 46 < previous   next >
Issue DateTitleAuthor(s)
2012Fast-forward runtime monitoring - an industrial case studyColombo, Christian; Pace, Gordon J.
2017Guiding automated web test case generation using HCI techniquesAbela, Neil Thomas
2019Human centred software testing using augmented realityCamilleri, Kurt
2015Implementing a distributed software project management toolGrech, Dorienne
2015Improving runtime overheads for detectErCassar, Ian; Francalanza, Adrian; Said, Simon
2020Investigating MR interface patterns for just in time QA informationCachia, Matthew (2020)
2020Investigating the use of genetic algorithms in automated test case generationGatt, Cristina (2020)
2017Leveraging automated test case distribution and execution to mitigate the test scenario explosion problem on android mobile devicesAttard, Sebastian
2015MacciumCatania, Samantha
2016A model-based approach to combining static and dynamic verification techniquesAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013Monitor-oriented compensation programming through compensating automataColombo, Christian; Pace, Gordon J.
2017Monitorability for the Hennessy-Milner logic with recursionFrancalanzaa, Adrian; Aceto, Luca; Ingolfsdottir, Anna
2016A monitoring tool for a branching-time logicAttard, Duncan Paul; Francalanza, Adrian
2016On implementing a monitor-oriented programming framework for actor systemsCassar, Ian; Francalanza, Adrian
2018On the efficiency of extracting static information from memory dumpsFrendo, Dylan
2016On the runtime enforcement of evolving privacy policies in online social networksPace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2017Preliminary investigations on runtime enforcement implementationsFarrugia, Karl
2011Reasoning about explicit resource managementDevries, Edsko; Francalanza, Adrian; Hennessy, Matthew
2020Rethinking the bug tracking paradigmCauchi, Kieran (2020)