Travelled to:
1 × Canada
1 × Italy
Collaborated with:
P.Godefroid D.Octeau M.Dering S.Jha P.McDaniel
Talks about:
constant (1) composit (1) communic (1) partial (1) generat (1) automat (1) android (1) analysi (1) summar (1) propag (1)
Person: Daniel Luchaup
DBLP: Luchaup:Daniel
Contributed to:
Wrote 2 papers:
- ICSE-v1-2015-OcteauLDJM #analysis #android #communication #component #constant
- Composite Constant Propagation: Application to Android Inter-Component Communication Analysis (DO, DL, MD, SJ, PM), pp. 77–88.
- ISSTA-2011-GodefroidL #automation #generative #summary #testing
- Automatic partial loop summarization in dynamic test generation (PG, DL), pp. 23–33.