Research Group on the Foundations of Computer Sciences

Résultat de recherche

Résultat de recherche par an 1991 2013 2014 2015 2016 2017 2018 2019 2023 2025

• 951 Citations
• 17 h-index
• 92 Article dans les actes d'une conférence/un colloque
• 31 Article
• 13 Papier
• 9 Livre
• 57 Afficher plus d’informations
  • 9 Chapitre (revu par des pairs)
  • 9 Résumé
  • 7 Poster
  • 6 Logiciel
  • 5 Autre rapport
  • 5 Chapitre
  • 5 Numéro spécial
  • 3 Autre contribution
  • 3 Papier de travail
  • 2 Mémoire de master
  • 1 Editorial
  • 1 Thèse de doctorat
  • 1 Préprint

Résultat de recherche par an

Résultat de recherche par an

Résultats de recherche

• 2015

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

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

  Résultats de recherche: Papier de travail

  File

  • applications 100%
  • data 100%
  • constraints 100%
  • units 100%
  • testing 100%
  174 Téléchargements (Pure)
• 2014

  Testing Database Programs using Relational Symbolic Execution

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

  Résultats de recherche: Papier de travail

  File
  392 Téléchargements (Pure)
• 2012

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

  Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 6 déc. 2012.

  Résultats de recherche: Papier de travail

  Accès ouvert

  File

  • Symbolic Execution 100%
  • SimpleDB 80%
  • Relational Database 20%
  • Database Table 20%
  • Formal Language 20%
  119 Téléchargements (Pure)