Automatic recovery of statecharts from procedural code
- Moria Abadi
- Yishai A. Feldman
- 2012
- ASE 2012
Publications
16 results for Yishai A. Feldman
Automatically fixing security vulnerabilities in Java code
- Aharon Abadi
- Ran Ettinger
- et al.
- 2011
- SPLASH 2011
Code-motion for API migration: Fixing SQL injection vulnerabilities in Java
- Aharon Abadi
- Yishai A. Feldman
- et al.
- 2011
- ICSE 2011
Improving slice accuracy by compression of data and control flow paths
- Aharon Abadi
- Ran Ettinger
- et al.
- 2009
- ESEC/FSE 2009
Re-approaching the refactoring Rubicon
- Aharon Abadi
- Ran Ettinger
- et al.
- 2008
- OOPSLA 2008
Developing law-governed systems using aspects
- Constantin Serban
- Shmuel Tyszberowicz
- et al.
- 2008
- Journal of Object Technology