AVATAR software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | ComputingMilieux_PERSONALCOMPUTING

AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
Share - Bookmark