Danhua Shao

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking. ASM (2010)
Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry
Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis. ISSRE (2010)
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
Semantic Impact and Faults in Source Code Changes: An Empirical Study. Australian Software Engineering Conference (2009)
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
SCA: a semantic conflict analyzer for parallel changes. ESEC/SIGSOFT FSE (2009)
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. FM (2009)
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry
Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment. ICSM (2007)
Charles L. Chen, Danhua Shao, Dewayne E. Perry
An Exploratory Case Study Using CBSP and Archium. SHARK/ADI@ICSE (2007)
Jinling Wang, Beihong Jin, Jing Li, Danhua Shao
A Semantic-Aware Publish/Subscribe System with RDF Patterns. COMPSAC (2004)