Testing Database Programs using Relational Symbolic Execution

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Research output: Working paper

339 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2014

Access to Document

    Projects

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

    VANHOOF, W.

    1/10/10 → 30/09/12

    Project: PHD

    Cite this