Travelled to:
1 × France
2 × The Netherlands
Collaborated with:
S.Khurshid D.E.Perry
Talks about:
parallel (2) semant (2) chang (2) lightweight (1) exploratori (1) increment (1) interfer (1) conflict (1) approach (1) method (1)
Person: Danhua Shao
DBLP: Shao:Danhua
Contributed to:
Wrote 3 papers:
- ESEC-FSE-2009-ShaoKP #named #parallel #semantics
- SCA: a semantic conflict analyzer for parallel changes (DS, SK, DEP), pp. 291–292.
- FM-2009-ShaoKP #approach #bound #formal method #incremental #lightweight #using
- An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method (DS, SK, DEP), pp. 757–772.
- ICSM-2007-ShaoKP #detection #empirical #evaluation #parallel #semantics
- Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment (DS, SK, DEP), pp. 74–83.