OAR@UM: Browsing 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 28 to 47 of 132 < previous next >

Issue Date	Title	Author(s)
2013	An Eclipse plug-in for polyLARVA	Chetcuti, Silvan (2013)
2011	Elarva : runtime verification for message passing concurrency	Gatt, Rudolph (2011)
2010	Enterprise API support tool	Sultana, Kurt (2010)
2018	Expressing runtime verification properties using regular expression in LARVA	Chatlani, Avinash
2014	Extending detectEr, a runtime verification tool for Erlang	Said, Simon (2014)
2015	Extracting runtime monitors from Gherkin specifications	Spiteri, Keith
2013	Facilitating and extending software testing through monitoring techniques	Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2012	Fast-forward runtime monitoring - an industrial case study	Colombo, Christian; Pace, Gordon J.
2019	First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014	Bartocci, Ezio; Falcone, Yliès; Bonakdarpour, Borzoo; Colombo, Christian; Decker, Normann; Havelund, Klaus; Joshi, Yogi; Klaedtke, Felix; Milewicz, Reed; Reger, Giles; Rosu, Grigore; Signoles, Julien; Thoma, Daniel; Zalinescu, Eugen; Zhang, Yi
2018	A framework for parameterized monitorability	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2021	Graft : general purpose raft consensus in Elixir	Le Brun, Matthew Alan; Attard, Duncan Paul; Francalanza, Adrian
2010	How audit software helps to achieve quality in auditing	Vella, Angele
2015	Improving runtime overheads for detectEr	Cassar, Ian; Francalanza, Adrian; Said, Simon
2016-11	Improving the automatic runtime monitor generation process via pruning : a way forward	Chircop, Luke; Colombo, Christian; Micallef, Mark; Francalanza, Adrian; Pace, Gordon J.
2023	Instrumenting inline runtime monitoring in Elixir	Gauci, Paul (2023)
2018	Introduction to runtime verification	Bartocci, Ezio; Falcone, Yliès; Francalanza, Adrian; Reger, Giles
2022-07	Investigating cognitive workload during comprehension and application tasks in software testing	Camilleri, Daryl; Micallef, Mark; Porter, Chris
2015	Investigating instrumentation techniques for ESB runtime verification	Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2015	Is Carmen better than George? Testing the exploratory tester using HCI techniques	Borg, Andrea; Porter, Chris; Micallef, Mark
2004	Just-in-time support using open source technologies	Spiteri, Joseph (2004)

Showing results 28 to 47 of 132 < previous next >