research
∙
10/30/2019
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT
Many techniques for automated program repair involve syntactic program t...
share
research
∙
08/29/2018
Analyze Unstructured Data Patterns for Conceptual Representation
Online news media provides aggregated news and stories from different so...
research
∙
07/13/2018
