Danhua Shao (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

2 Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. ICSM 2007: 74-83

Selection of 4 from 5 records - Danhua Shao has 5 coauthors

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
2		Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry: Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. ICSM 2007: 74-83