12 citations · 31 across the 17 of their papers we have counts for
3 papers · 1 filter
Towards Reversible Computation in Erlang
Naoki Nishida, Adrián Palacios, Germán Vidal
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programmin…
Tuning Fuzzy Logic Programs with Symbolic Execution
Ginés Moreno, Jaime Penabad, Germán Vidal
Fuzzy logic programming is a growing declarative paradigm aiming to integrate fuzzy logic into logic programming. One of the most difficult tasks when specifying a fuzzy logic prog…
On the Completeness of Selective Unification in Concolic Testing of Logic Programs
Fred Mesnard, Etienne Payet, German Vidal
Concolic testing is a popular dynamic validation technique that can be used for both model checking and automatic test case generation. We have recently introduced concolic testing…