Inference and Regeneration of Programs that Manipulate Relational Databases
We present a new technique that infers models of programs that manipulate relational databases. This technique generates test databases and input commands, runs the program, then observes the resulting outputs and updated databases to infer the model. Because the technique works only with the extern...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Published: |
2017
|
| Online Access: | http://hdl.handle.net/1721.1/111067 |