76 citations · 129 across the 23 of their papers we have counts for
4 papers · 1 filter
On Strong Observational Refinement and Forward Simulation
John Derrick, Simon Doherty, Brijesh Dongol +2
Hyperproperties are correctness conditions for labelled transition systems that are more expressive than traditional trace properties, with particular relevance to security. Recent…
DeepMutants: Training neural bug detectors with contextual mutations
Cedric Richter, Heike Wehrheim
Learning-based bug detectors promise to find bugs in large code bases by exploiting natural hints such as names of variables and functions or comments. Still, existing techniques t…
On the (Non-)Applicability of a Small Model Theorem to Model Checking STMs
Heike Wehrheim
Software Transactional Memory (STM) algorithms provide programmers with a synchronisation mechanism for concurrent access to shared variables. Basically, programmers can specify tr…
MLCheck- Property-Driven Testing of Machine Learning Models
Arnab Sharma, Caglar Demir, Axel-Cyrille Ngonga Ngomo +1
In recent years, we observe an increasing amount of software with machine learning components being deployed. This poses the question of quality assurance for such components: how…