Danhua Shao

According to our database, Danhua Shao authored at least 8 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Optimizing Incremental Scope-Bounded Checking with Data-Flow Analysis.

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking.

Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the Abstract State Machines, 2010

2009

SCA: a semantic conflict analyzer for parallel changes.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the FM 2009: Formal Methods, 2009

Semantic Impact and Faults in Source Code Changes: An Empirical Study.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2007

Evaluation of Semantic Interference Detection in Parallel Changes: an Exploratory Experiment.

Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

An Exploratory Case Study Using CBSP and Archium.

Charles L. Chen, Danhua Shao, Dewayne E. Perry

Proceedings of the Second Workshop on Sharing and Reusing Architectural Knowledge, 2007

2004

A Semantic-Aware Publish/Subscribe System with RDF Patterns.

Jinling Wang, Beihong Jin, Jing Li, Danhua Shao

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004