Relational Test Generation Tool for SQL Applications

Michaël Marcozzi (Photographer)

Research output: Non-textual form › Software

Original language	English
Publication status	Published - 31 Jul 2014

Relational symbolic execution of SQL code for unit testing of database programs
Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 Jul 2015, In: Science of Computer Programming. 105, p. 44-72 29 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
142 Downloads (Pure)
Testing Database Programs using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. & Hainaut, J.-L., 2014.
Research output: Working paper

File
Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution
Marcozzi, M., Vanhoof, W. (Supervisor) & Hainaut, J.-L. (Supervisor), 31 May 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Open Access
File

Research output