Tag Archive: source code analysis

Michael Marcozzi – A Relational Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs

The idea of Michael’s paper is to adapt constraint-based testing to database testing. The normal approach is symbolic execution: expressing path dependencies between variables and subsequently expressing constraints on them. These can then be solved with a constraint-solver. This strategy is…
Read more