MiST research group
Group's website
Germán Vidal
Personal website
Online tool demos
- 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.
Josep Silva
Personal website
Online tool demos
More projects
- e-Knife: a program slicing tool for Erlang, based on the EDG.
- TECO: The Template Detection and Content Extraction Benchmark Suite.
- RevEx: A Comments Section Detection and Extraction Tool for Chromium- and Firefox-based browsers.
- Bencher: A benchmark suite for program slicing in Erlang, with formally proven minimal slices.
Internal services