Aharon Abadi  Aharon Abadi photo       

contact information

Research Staff Member
Haifa Research Lab, Haifa, Israel
  +972dash3dash7689dash473

links



2013

Codeless Screen-Oriented Programming for Enterprise Mobile Applications
Aharon Abadi, Yael Dubinsky, Andrei Kirshin, Yossi Mesika, Idan Ben-Harrush
arXiv preprint arXiv:1310.1506, 2013

NitroGen: rapid development of mobile applications
Aharon Abadi, Yael Dubinsky, Andrei Kirshin, Yossi Mesika, Idan Ben-Harrush, Uzy Hadad
Proceedings of the 2013 companion publication for conference on Systems, programming, \& applications: software for humanity, pp. 15--16

Challenges and research questions for testing in mobile development: report on a mobile testing activity
Yael Dubinsky, Aharon Abadi
Proceedings of the 2013 ACM workshop on Mobile development lifecycle, pp. 37--38

A screen-oriented representation for mobile applications
Aharon Abadi, Yishai A Feldman, Konstantin Shagin
Proceedings of the 2013 companion publication for conference on Systems, programming, \& applications: software for humanity, pp. 79--80


2012

Fine Slicing
Aharon Abadi, Ran Ettinger, Yishai A Feldman
Fundamental Approaches to Software Engineering, pp. 471--485, Springer, 2012


2011

Automatically fixing security vulnerabilities in Java code
A Abadi, R Ettinger, Y A Feldman, M Shomrat
Proceedings of the ACM international conference companion on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) companion, pp. 3--4, ACM, 2011

Code-motion for API migration: Fixing SQL injection vulnerabilities in Java
A Abadi, Y A Feldman, M Shomrat
Proceeding of the 4th workshop on Refactoring tools, pp. 1--7, ACM, 2011


2010

Decidable fragments of many-sorted logic
A Abadi, A Rabinovich, M Sagiv
Journal of Symbolic Computation 45(2), 153--172, Elsevier, 2010


2009

Fine Slicing for Advanced Method Extraction
A Abadi, R Ettinger, Y A Feldman
3rd Workshop on Refactoring Tools (WRT @ OOPSLA), 2009

Improving slice accuracy by compression of data and control flow paths
A Abadi, R Ettinger, Y A Feldman
7th Joint Meeting of the European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering (ESEC/FSE), pp. 223--232, ACM, 2009
Abstract


2008

A Traceability Technique for Specifications.
Ahron Abadi, Mordechai Nisenson, Yahalomit Simionovici
ICPC, pp. 103--112, 2008

Re-approaching the refactoring Rubicon
A Abadi, R Ettinger, Y A Feldman
2nd Workshop on Refactoring Tools (WRT @ OOPSLA), pp. 1--4, ACM, 2008
Abstract

A Traceability Technique for Specifications
A Abadi, M Nisenson, Y Simionovici
16th IEEE International Conference on Program Comprehension, ICPC 2008, pp. 103--112