| 9720690 |
Software architecture by untangling undesired code level dependencies using code refactoring |
Aharon Abadi, Yishai Feldman, Maayan Goldstein |
2017-08-01 |
| 9298924 |
Fixing security vulnerability in a source code |
Aharon Abadi, Yishai Feldman, Jonathan Bnayahu, Omer Tripp, Yinnon A. Haviv +2 more |
2016-03-29 |
| 9280446 |
Method for finding all valid interprocedural execution paths on COBOL in polynomial time |
Aharon Abadi, Moria Abadi, Yishai Feldman |
2016-03-08 |
| 8959478 |
Plan-based program slicing |
Aharon Abadi, Jonathan Bnayahu, Yishai Feldman |
2015-02-17 |
| 8819637 |
Fixing security vulnerability in a source code |
Aharon Abadi, Yishai Feldman, Jonathan Bnayahu, Omer Tripp, Yinnon A. Haviv +2 more |
2014-08-26 |
| 8621430 |
Method for code transformation supporting temporal abstraction of parameters |
Aharon Abadi, Jonathan Bnayahu, Yishai Feldman |
2013-12-31 |
| 8612954 |
Fine slicing: generating an executable bounded slice for program |
Aharon Abadi, Yishai Fieldman, Jonathan Bnayahu |
2013-12-17 |
| 8543974 |
Plan-based program slicing |
Aharon Abadi, Jonathan Bnayahu, Yishai Feldman |
2013-09-24 |
| 8539466 |
Determining suitable insertion points for string sanitizers in a computer code |
Aharon Abadi, Jonathan Bnayahu, Yishai Feldman, Yinnon A. Haviv, Adi Sharabani |
2013-09-17 |
