Refinery: Graph Solver as a Service: Refinement-based Generation and Analysis of Consistent Models.

Kristf Marussy, Attila Ficsor, Oszkr Semerth, Dniel Varr

Browse the full ICSE paper archive.