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 36 to 55 of 65 < previous   next >
Issue DateTitleAuthor(s)
2017Monitorability for the Hennessy-Milner logic with recursionFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, 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
2015-11An overview of techniques aimed at automatically generating oracles from testsChircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; 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)
2015Runtime adaptation for actor systemsCassar, Ian; Francalanza, Adrian
2010Runtime monitoring of distributed systemsFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2017A runtime monitoring tool for actor-based systemsAttard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2020Runtime verification for API based softwareBartolo Burlo`, Christian (2020)
2021Scared, frustrated and quietly proud : testers’ lived experience of tools and automationEvans, Isabel; Porter, Chris; Micallef, Mark
2018Securing calls to ethereum smart contracts with static and dynamic analysisAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013SMock - a test platform for monitoring toolsColombo, Christian; Mizzi, Ruth; Pace, Gordon J.
2015A specification language for static and runtime verification of data and control propertiesAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2009Statistics and runtime verificationGauci, Andrew; Pace, Gordon J.; Colombo, Christian
2020Stuck in limbo with magical solutions : the testers’ lived experiences of tools and automationEvans, Isabel; Porter, Chris; Micallef, Mark; Harty, Julian
2017A survey of runtime monitoring instrumentation techniquesCassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna