Nimrod's Page

KLEE is an interesting tool for test-case generation which can be used for various puposes. We (My advisor Eran Yahav and me) are looking for a student to manipulate this tool to further extend our research in differential analysis (that aims at modeling changes in software patches for various goals using static analysis). This can be a 1,2 or 3 point project, and can also turn eventually into a paper with your name on it! (depends on how well you do :). If you're interested, you know how to reach me.

Added presentations i gave about other people's work in seminars i took. I added them since i think they can benefit other people who are interested in learning about these works.

Page still Under construction, will soon be filled with stuff i do and like.