Learning the Parameters of Bayesian Networks from Uncertain DataSegev WasserkrugRadu Marinescuet al.2021AAAI 2021
Improving slice accuracy by compression of data and control flow pathsAharon AbadiRan Ettingeret al.2009ESEC/FSE 2009
Code-motion for API migration: Fixing SQL injection vulnerabilities in JavaAharon AbadiYishai A. Feldmanet al.2011ICSE 2011
CHASE: Contract-based requirement engineering for cyber-physical system designPierluigi NuzzoMichele Loraet al.2018DATE 2018
A parallel on-demand algorithm for computing interprocedural dominatorsAharon AbadiYishai A. Feldman2014SCAM 2014