 | 2009 |
| 5 |  | Danhua Shao,
Sarfraz Khurshid,
Dewayne E. Perry:
Semantic Impact and Faults in Source Code Changes: An Empirical Study.
Australian Software Engineering Conference 2009: 131-141 |
| 4 |  | Danhua Shao,
Sarfraz Khurshid,
Dewayne E. Perry:
SCA: a semantic conflict analyzer for parallel changes.
ESEC/SIGSOFT FSE 2009: 291-292 |
| 3 |  | Danhua Shao,
Sarfraz Khurshid,
Dewayne E. Perry:
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.
FM 2009: 757-772 |
| 2007 |
| 2 |  | Danhua Shao,
Sarfraz Khurshid,
Dewayne E. Perry:
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment.
ICSM 2007: 74-83 |
| 2004 |
| 1 |  | Jinling Wang,
Beihong Jin,
Jing Li,
Danhua Shao:
A Semantic-Aware Publish/Subscribe System with RDF Patterns.
COMPSAC 2004: 141-14 |