@dblp

Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis.

, , and . ASE, page 816-821. ACM, (2016)

Links and resources

Tags