Travelled to:1 × South Africa
1 × Switzerland
Collaborated with:C.Song J.S.Foster E.Reisner K.Ma
Talks about:configur (2) use (2) understand (1) interact (1) behavior (1) softwar (1) coverag (1) system (1) symbol (1) effici (1)
Person: Adam Porter
DBLP: Porter:Adam
Contributed to:
20122010Wrote 2 papers:
- ICSE-2012-SongPF #interactive #named #using
- iTree: Efficiently discovering high-coverage configurations using interaction trees (CS, AP, JSF), pp. 903–913.
- ICSE-2010-ReisnerSMFP #behaviour #configuration management #evaluation #symbolic computation #using
- Using symbolic evaluation to understand behavior in configurable software systems (ER, CS, KKM, JSF, AP), pp. 445–454.