Show simple item record

Using Active Learning to Synthesize Models of Applications That Access Databases

dc.date.accessioned2018-08-28T17:22:15Z
dc.date.accessioned2018-11-26T22:27:53Z
dc.date.available2018-08-28T17:22:15Z
dc.date.available2018-11-26T22:27:53Z
dc.date.issued2018-08-28
dc.identifier.urihttp://hdl.handle.net/1721.1/117593
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/117593
dc.description.abstractWe present a new technique that uses active learning to infer models of applications that manipulate relational databases. This technique comprises a domain-specific language for modeling applications that access databases (each model is a program in this language) and an associated inference algorithm that infers models of applications whose behavior can be expressed in this language. The inference algorithm generates test inputs and database configurations, runs the application, then observes the resulting database traffic and outputs to progressively refine its current model hypothesis. The end result is a model that completely captures the behavior of the application. Because the technique works only with the externally observable inputs, outputs, and databases, it can infer the behavior of applications written in arbitrary languages using arbitrary coding styles (as long as the behavior of the application is expressible in the domain-specific language). We also present a technique for automatically regenerating an implementation from the inferred model. The regenerator can produce a translated implementation in a different language and systematically include relevant security and error checks.en_US
dc.titleUsing Active Learning to Synthesize Models of Applications That Access Databasesen_US
dc.typeArticleen_US


Files in this item

FilesSizeFormatView
shen_rinard_tech_report_aug28_2018.pdf1.051Mbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record