Skip to main navigation
Skip to search
Skip to main content
the Research Portal - University of Namur Home
English
Français
Home
Profiles
Research units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Constraint-based test data generation for database-driven applications
Marcozzi, Michael
(Researcher)
Vanhoof, Wim
(CoI)
Hainaut, Jean-Luc
(CoI)
Faculty of Computer Science
University of Namur
Project
:
PHD
Overview
Fingerprint
Research output
(7)
Activities
(16)
Research output
Research output per year
2011
2011
2012
2013
2014
2015
2015
3
Conference contribution
2
Working paper
1
Article
1
Software
Research output per year
Research output per year
2 results
Type
(ascending)
Publication Year, Title
Title
Type
(descending)
Filter
Working paper
Search results
Working paper
A Direct Symbolic Execution of SQL into Relational Constraints for Unit Testing of Data-Oriented Applications
Marcozzi, M.
,
Vanhoof, W.
&
Hainaut, J-L.
,
2015
.
Research output
:
Working paper
File
Symbolic Execution
100%
Actual Behavior
16%
Manipulation (Databases)
16%
Integrity Constraint
16%
Execution Path
16%
162
Downloads (Pure)
A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs
Marcozzi, M.
,
Vanhoof, W.
&
Hainaut, J-L.
,
6 Dec 2012
.
Research output
:
Working paper
Open Access
File
Algorithms
100%
Testing
100%
Programs
100%
Symbolic Execution
100%
Models
30%
111
Downloads (Pure)