Travelled to:
1 × Germany
Collaborated with:
S.Lauterburg D.Marinov M.Viswanathan
Talks about:
increment (1) program (1) explor (1) state (1) space (1) dynam (1) alloc (1) data (1)
Person: Ahmed Sobeih
DBLP: Sobeih:Ahmed
Contributed to:
Wrote 1 papers:
- ICSE-2008-LauterburgSMV #incremental #source code
- Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.