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 2024

• 854 Citations
• 16 h-index
• 87 Article dans les actes d'une conférence/un colloque
• 40 Article
• 9 Livre
• 9 Chapitre (revu par des pairs)
• 47 Afficher plus d’informations
  • 9 Résumé
  • 7 Poster
  • 6 Logiciel
  • 5 Autre rapport
  • 5 Numéro spécial
  • 4 Chapitre
  • 3 Autre contribution
  • 3 Article 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

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

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

  Résultats de recherche: Papier de travail › Article de travail

  File

  • Symbolic Execution 100%
  • Actual Behavior 16%
  • Manipulation (Databases) 16%
  • Integrity Constraint 16%
  • Execution Path 16%
  162 Téléchargements (Pure)

• 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 › Article de travail

  Accès ouvert

  File

  • Algorithms 100%
  • Testing 100%
  • Programs 100%
  • Symbolic Execution 100%
  • Models 30%
  111 Téléchargements (Pure)

• Testing Database Programs using Relational Symbolic Execution

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

  Résultats de recherche: Papier de travail › Article de travail

  File
  336 Téléchargements (Pure)