Constraint-based test data generation for database-driven applications

Project: PHD

Project Details

Description

{description_courte}
StatusFinished
Effective start/end date1/10/1030/09/14

Research Output

  • 3 Conference contribution
  • 2 Working paper
  • 1 Article
  • 1 Software
File
  • Relational symbolic execution of SQL code for unit testing of database programs

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

    Research output: Contribution to journalArticle

    Open Access
    File
  • 86 Downloads (Pure)

    Relational Test Generation Tool for SQL Applications

    Marcozzi, M., 31 Jul 2014

    Research output: Non-textual formSoftware

    Activities

    • 12 Participation in workshop, seminar, course
    • 3 Participation in conference
    • 1 Participation to a Symposium, a study Day

    SAT/SMT Summer School 2014

    Michaël Marcozzi (Poster)
    10 Jul 201412 Jul 2014

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course

    36th International Conference on Software Engineering (ICSE 2014)

    Michaël Marcozzi (Contributor)
    31 May 2014

    Activity: Participating in or organising an event typesParticipation in conference

    Séminaire Pro-Doc "Projets et Financements"

    Michaël Marcozzi (Participant)
    25 Apr 2014

    Activity: Participating in or organising an event typesParticipation in workshop, seminar, course