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

Research output

Research output per year 2014 2014 2014

• 1 Conference contribution
• 1 Working paper

Research output per year

Research output per year

Search results

• 2014

  Testing Database Programs using Relational Symbolic Execution

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

  Research output: Working paper

  File
  336 Downloads (Pure)