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

• 2015

  A Direct Symbolic Execution of SQL into Relational Constraints for Unit Testing of Data-Oriented Applications

  Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2015.

  Research output: Working paper

  File

  • Testing
  • Surface mount technology
  237 Downloads (Pure)
• 2014

  Testing Database Programs using Relational Symbolic Execution

  Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2014.

  Research output: Working paper

  File
  377 Downloads (Pure)
• 2012

  A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs

  Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 6 Dec 2012.

  Research output: Working paper

  Open Access

  File

  • Testing
  • Formal languages
  • Semantics
  • Set theory
  186 Downloads (Pure)