12 citations · 31 across the 17 of their papers we have counts for
18 papers
Causal-Consistent Reversible Debugging: Improving CauDEr
Juan José González-Abril, Germán Vidal
Causal-consistent reversible debugging allows one to explore concurrent computations back and forth in order to locate the source of an error. In this setting, backward steps can b…
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
Germán Vidal
Message-passing concurrency is a popular computation model that underlies several programming languages like, e.g., Erlang, Akka, and (to some extent) Go and Rust. In particular, w…
Explanations as Programs in Probabilistic Logic Programming
Germán Vidal
The generation of comprehensible explanations is an essential feature of modern artificial intelligence systems. In this work, we consider probabilistic logic programming, an exten…
A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging
Juan José González-Abril, Germán Vidal
This paper presents a lightweight formalism (a trace) to model message-passing concurrent executions where some common common problems can be identified, like lost or delayed messa…
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency
Juan José González-Abril, Germán Vidal
The execution of concurrent programs generally involves some degree of nondeterminism, mostly due to the relative speeds of the concurrent processes. As a consequence, reproducibil…
Concolic Testing in CLP
Fred Mesnard, Etienne Payet, German Vidal
Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases wi…