*Result*: Visual contract extractor: A tool for reverse engineering visual contracts using dynamic analysis
Title:
Visual contract extractor: A tool for reverse engineering visual contracts using dynamic analysis
Authors:
Source:
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2016 31st IEEE/ACM International Conference on. :816-821 Sep, 2016
Relation:
2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE)
Database:
IEEE Xplore Digital Library