Travelled to:
1 × Japan
Collaborated with:
M.Acharya J.Xu T.Xie
Talks about:
properti (1) interfac (1) generat (1) analysi (1) static (1) robust (1) effect (1)
Person: Tanu Sharma
DBLP: Sharma:Tanu
Contributed to:
Wrote 1 papers:
- ASE-2006-AcharyaSXX #effectiveness #generative #interface #robust #static analysis
- Effective Generation of Interface Robustness Properties for Static Analysis (MA, TS, JX, TX), pp. 293–296.