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 49 to 65 of 65 < previous 
Issue DateTitleAuthor(s)
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
2015Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin
2020Test tools : an illusion of usability?Evans, Isabel; Porter, Chris; Micallef, Mark; Harty, Julian
2015Testing the testerBorg, Andrea
2022Towards domain-specific automated testing via behavioural cloningGatt, Cristina; Bugeja, Mark; Micallef, Mark
2019Towards human-centric software testingCatania, Samantha; Porter, Chris; Micallef, Mark
2012A unified approach for static and runtime verification : framework and applicationsAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2013The use of crowdsource testing and its role in innovation within an organizationSedelnikova, Anna (2013)
2013Using Gherkin for interaction design testing and monitoringCauchi, Abigail; Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2016Using gherkin to extract tests and monitors for safer medical device interaction designCauchi, Abigail; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2017Verifying data- and control-oriented properties combining static and runtime verification : theory and toolsAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo