Search CORE

8 research outputs found

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

Author: Hainaut Jean-Luc
Marcozzi Michaël
Vanhoof Wim
Publication venue: ACM Press
Publication date: 31/05/2014
Field of study

Repository of the University of Namur

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

Author: Hainaut Jean-Luc
Marcozzi Michaël
Vanhoof Wim
Publication venue: ACM Press
Publication date: 01/01/2014
Field of study

Repository of the University of Namur

Génération de contraintes pour le test de programmes manipulant une base de donnée

Author: Hardenne Romain
Publication venue
Publication date: 03/09/2015
Field of study

Repository of the University of Namur

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

Author: Hainaut Jean-Luc
Marcozzi Michaël
Vanhoof Wim
Publication venue
Publication date: 01/01/2015
Field of study

Repository of the University of Namur

Testing Database Programs using Relational Symbolic Execution

Author: Hainaut Jean-Luc
Marcozzi Michaël
Vanhoof Wim
Publication venue
Publication date: 01/01/2014
Field of study

Repository of the University of Namur

Guided test generation for database applications via synthesized database interactions

Author: Ahmed Rafi
Dayal U.
Gupta Bhanu Pratap
Kai Pan
Tao Xie
Wu Xintao
Xintao Wu
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

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

Author: Hainaut Jean-Luc
Marcozzi Michaël
Vanhoof Wim
Publication venue
Publication date: 01/01/2015
Field of study

Repository of the University of Namur

Annual Report, 2014-2015

Author: University of Arkansas Fayetteville. College of Engineering
Publication venue: ScholarWorks@UARK
Publication date: 10/08/2015
Field of study

ScholarWorks@UARK

core

core