ebook img
Author:Michaël Marcozzi
Language:English
File size:0.22 MB

Similar A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs