MobileDeli'14 workshop
- Aharon Abadi
- Danny Dig
- et al.
- 2014
- SPLASH 2014
Publications
Date
Featured collections
Popular topics
18 results for Aharon Abadi
Challenges and research questions for testing in mobile development: Report on a mobile testing activity
- Yael Dubinsky
- Aharon Abadi
- 2013
- MobileDeLi 2013
A screen-oriented representation for mobile applications
- Aharon Abadi
- Yishai A. Feldman
- et al.
- 2013
- SPLASH 2013
Nitrogen: Rapid development of mobile applications
- Aharon Abadi
- Yael Dubinsky
- et al.
- 2013
- SPLASH 2013
Automatically fixing security vulnerabilities in Java code
- Aharon Abadi
- Ran Ettinger
- et al.
- 2011
- SPLASH 2011
A traceability technique for specifications
- Aharon Abadi
- Mordechai Nisenson
- et al.
- 2008
- ICPC 2008
Re-approaching the refactoring Rubicon
- Aharon Abadi
- Ran Ettinger
- et al.
- 2008
- OOPSLA 2008
Decidable fragments of many-sorted logic
- Aharon Abadi
- Alexander Rabinovich
- et al.
- 2010
- Journal of Symbolic Computation