Skip to main navigation
Skip to search
Skip to main content
English
Français
Home
Profiles
Research Units
Projects
Research Output
Student theses
Equipment
Datasets
Prizes
Activities
Press / Media
Search by expertise, name or affiliation
Research Group on the Foundations of Computer Science
Namur Digital Institute
Website
http://directory.unamur.be/entities/focus?_LOCALE_=en
Address
5000
Belgium
Find us here
Overview
Fingerprint
Network
Profiles
(9)
Projects
(30)
Research Output
(152)
Activities
(117)
Prizes
(3)
Press / Media
(4)
Datasets
(2)
Student theses
(41)
Research Output
Research Output per year
1991
2020
525
Citations
13
h-Index
64
Conference contribution
26
Article
11
Paper
10
Book
41
More
8
Chapter (peer-reviewed)
7
Poster
5
Abstract
5
Special issue
4
Software
3
Chapter
3
Working paper
2
Other contribution
2
Master's Thesis
1
Other report
1
Editorial
Research Output per year
Research Output per year
3 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Working paper
Search results
2015
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
Testing
Surface mount technology
237
Downloads (Pure)
2014
Testing Database Programs using Relational Symbolic Execution
Marcozzi, M.,
Vanhoof, W.
&
Hainaut, J-L.
,
2014
.
Research output
:
Working paper
File
377
Downloads (Pure)
2012
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
Testing
Formal languages
Semantics
Set theory
186
Downloads (Pure)