MiST research group

Germán Vidal

contest: concolic testing in pure Prolog.
contest: concolic testing in Prolog (ongoing version).
CPD lite: a lightweight approach to Conjunctive Partial Deduction.
erlang2trs: towards Erlang verification by term rewriting.
instrument: concolic execution in functional programming by program instrumentation.
ppeval: a parallelizing partial evaluator for Prolog.
PEPE: Predicting the Effectiveness of Partial Evaluation.
PROFF: a PRolog OFFline partial evaluator.
rev-rewriting: Reversibilization of TRs
sett: Symbolic Execution-based Termination Tool.
tcgen: Test case generation for Prolog.
TNT: a Transformation for analyzing Narrowing Termination.

JavaSlicer: a programa slicing tool for Java, based on the SDG.
e-Knife with constrained arcs: an extension of e-Knife, with increased precision in complex data structures.
e-Knife Erlang: a program slicer for Erlang, based on the EDG.
e-Knife Java: a program slicer for Java, based on the EDG.
CSP2PN: translating CSP to Petri nets.
CSP-Tracker: generation of CSP tracks.
PN-Slicer: a web-interface for multiple Petri net slicing techniques.
slicerl: Slicing of Erlang.
XQSlicer: slicing and refactoring of XQuery.

e-Knife: a program slicing tool for Erlang, based on the EDG.
TECO: The Template Detection and Content Extraction Benchmark Suite.
Bencher: A benchmark suite for program slicing in Erlang, with formally proven minimal slices.