University of Illinois Urbana-Champaign

Mining Parametric State-Based Specifications from Executions

Chen, Feng; Rosu, Grigore

Loading…

Permalink

Description

Owning Collections