Génération de données de test basée sur les contraintes pour des applications orientées base de données.

Projet: Projet de thèse

Détails du projet

Description

{description_courte}
statutFini
Les dates de début/date réelle1/10/1030/09/14

Résultat de recherche

  • 3 Article dans les actes d'une conférence/un colloque
  • 2 Article de travail
  • 1 Article
  • 1 Logiciel

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 travailArticle de travail

File
  • 220 Téléchargements (Pure)

    Relational symbolic execution of SQL code for unit testing of database programs

    Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 juil. 2015, Dans : Science of Computer Programming. 105, p. 44-72 29 p.

    Résultats de recherche: Contribution à un journal/une revueArticle

    Accès ouvert
    File
  • 181 Téléchargements (Pure)

    Relational Test Generation Tool for SQL Applications

    Marcozzi, M., 31 juil. 2014

    Résultats de recherche: Forme non textuelleLogiciel

    Activités

    • 12 Participation à un atelier/workshop, un séminaire, un cours
    • 3 Participation à une conférence, un congrès
    • 1 Participation à un Colloque, une journée d'étude

    SAT/SMT Summer School 2014

    Michaël Marcozzi (Poster)

    10 juil. 201412 juil. 2014

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours

    36th International Conference on Software Engineering (ICSE 2014)

    Michaël Marcozzi (Orateur)

    31 mai 2014

    Activité: Types de Participation ou d'organisation d'un événementParticipation à une conférence, un congrès

    Séminaire Pro-Doc "Projets et Financements"

    Michaël Marcozzi (Participant)

    25 avr. 2014

    Activité: Types de Participation ou d'organisation d'un événementParticipation à un atelier/workshop, un séminaire, un cours