Using Dynamic Monitoring to Synthesize Models of Applications That Access Databases

Unknown author (2018-09-27)


We previously developed Konure, a tool that uses active learning to infer the functionality of database applications. An alternative approach is to observe the inputs, outputs, and database traffic from a running system in normal use and then synthesize a model of the application from this information. To evaluate these two approaches, we present Etch, which uses information from typical usage scenarios to synthesize a model of the functionality of database applications whose computation can be expressed in the Konure DSL.