Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output 1991 2019

Filter
Software
2014

Relational Test Generation Tool for SQL Applications

Marcozzi, M., 31 Jul 2014

Research output: Non-textual form › Software

VIBeS: Variability Intensive system Behavioural teSting

Devroey, X. & Perrouin, G., Oct 2014

Research output: Non-textual form › Software

Testing

YAMI: Yet Another Model Inference tool

Devroey, X., Oct 2014

Research output: Non-textual form › Software

Markov processes
Engineers
2011

Application Mémoires

Vanhoof, W., 2011

Research output: Non-textual form › Software