Research Group on the Foundations of Computer Science

Research Output

Research Output per year

1991 2020

• 525 Citations
• 13 h-Index
• 64 Conference contribution
• 26 Article
• 11 Paper
• 10 Book
• 41 More
  • 8 Chapter (peer-reviewed)
  • 7 Poster
  • 5 Abstract
  • 5 Special issue
  • 4 Software
  • 3 Chapter
  • 3 Working paper
  • 2 Other contribution
  • 2 Master's Thesis
  • 1 Other report
  • 1 Editorial

Research Output per year

Research Output per year

Search results

• 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

  • prioritization
  • testing
  • mutation

• 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