Research Group on the Foundations of Computer Science

University of Namur

Websitehttp://directory.unamur.be/entities/focus?_LOCALE_=en

5000
Belgium

Research Output 1991 2019

394 Citations
11 h-Index
60 Conference contribution
20 Article
8 Book
7 Paper
34 More

4 results
Publication Year, Title (descending)

Filter

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