32 citations · 189 across the 41 of their papers we have counts for
4 papers · 1 filter
Tester versus Bug: A Generic Framework for Model-Based Testing via Games
Petra van den Bos, Marielle Stoelinga
We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game s…
Maintenance of Smart Buildings using Fault Trees
Nathalie Cauchi, Khaza Anuarul Hoque, Marielle Stoelinga +1
Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance…
One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga +1
Dynamic Fault Trees (DFTs) are a prominent model in reliability engineering. They are strictly more expressive than static fault trees, but this comes at a price: their interpretat…
Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees
Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate +1
Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated usin…