1. OAR@UM

Browsing by Subject Computer software -- Verification

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 114 to 132 of 132 < previous 
Issue DateTitleAuthor(s)
2020A technique for automata-based verification with residual reasoningAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2020Test tools : an illusion of usability?Evans, Isabel; Porter, Chris; Micallef, Mark; Harty, Julian
2019Testing equivalence vs. runtime monitoringAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2015Testing the tester-adopting and adapting HCI techniques to analyse and develop software testing patternBorg, Andrea (2015)
2020Towards a comprehensive solution for secure cryptographic protocol execution based on runtime verificationColombo, Christian; Mark Joseph
2020Towards a hybrid verification methodology for communication protocols (short paper)Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2022Towards domain-specific automated testing via behavioural cloningGatt, Cristina; Bugeja, Mark; Micallef, Mark
2019Towards human-centric software testingCatania, Samantha; Porter, Chris; Micallef, Mark
2021Towards probabilistic session-type monitoringBartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
2012-11Towards proof-theoretic interpretations for LTL monitoringCini, Clare; Francalanza, Adrian
2017Trace partitioning and local monitoring for asynchronous componentsAttard, Duncan Paul; Francalanza, Adrian
1992Turtle robotics (Part 2)Vella, Pierre (1992)
2012A unified approach for static and runtime verification : framework and applicationsAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015Unlocking blocked communicating processesFrancalanza, Adrian; Giunti, Marco; Ravara, António
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.
2022Using runtime verification to generate intrusion timelines from memory imagesCutajar, Jonathan (2022)
2014Using symbolic execution to test monitor specificationsTanti, Mark (2014)
2017Verifying data- and control-oriented properties combining static and runtime verification : theory and toolsAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
Showing results 114 to 132 of 132 < previous