Danhua Shao and Cited - Free people check

(1 - 11 from 11

)

Supporting Integration Activities in Object-Oriented Applications

rmod-files.lille.inria.fr

by VIU Gómez · Cited by 14 — [Shao 2009] Danhua Shao, Sarfraz Khurshid and Dewayne E. Perry. SCA: a Semantic Conflict An- alyzer for Parallel Changes. In Proceedings of the the 7th ... › Team › Texts › Phds

Whispec: White-box Testing of Libraries Using Declarative ...

users.ece.utexas.edu

by D Shao · · Cited by 26 — Danhua Shao. Sarfraz Khurshid. Dewayne E. Perry. Department of Electrical and Computer Engineering. The University of Texas at Austin. Austin, TX , USA. › ~khurshid › papers

Detecting Semantic Interference in Parallel Changes

citeseerx.ist.psu.edu

by D Shao · Cited by 2 — author = {Danhua Shao and Sarfraz Khurshid and Dewayne E Perry}, title = {Detecting Semantic Interference in Parallel Changes: An Exploratory Case Study}, › viewdoc › summary

Optimizing a Structural Constraint Solver for Efficient Software ...

www.junaidharoonsiddiqui.com

by JH Siddiqui · Cited by 9 — We thank Danhua Shao for detailed comments. This material is based upon work partially supported by the. NSF under Grant Nos. IIS , CNS , CCF-. › ase2009

Software Development with Real-Time Collaborative Editing

up.csail.mit.edu

by M Goldman · · Cited by 25 — [49] Danhua Shao, Sarfraz Khurshid, and Dewayne E Perry. Evaluation of Semantic. Interference Detection in Parallel Changes: an Exploratory Experiment. › other-pubs › maxg-thesis

An Incremental Approach to Scope-Bounded Checking Using ...

link.springer.com

by D Shao · · Cited by 24 — An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. Danhua Shao,; Sarfraz Khurshid &; Dewayne E. Perry. Conference paper. › chapter

All web results to the name "Danhua Shao"

A Constraint Solver for Software Engineering: Finding Models ...

homes.cs.washington.edu

by E Torlak · · Cited by 90 — [114] Danhua Shao, Sarfraz Khurshid, and Dewayne Perry. Whispec: White-box test- ing of libraries using declarative specifications. › kodkod.phd.pdf

Additional Reviewers

www.computer.org

by WL Hsu · · Cited by 2 — Danhua Shao. Bonita Sharif. Steven She. Junaid Haroon Siddiqui. Norbert Siegmund. Alessandro Sorniotti. Johannes Spohr. Paola Spoletini. Michael Striewe. › csdl › download-article › pdf

AlloyMC: Alloy Meets Model Counting

par.nsf.gov

by J Yang · · Cited by 2 — [28] Danhua Shao, Sarfraz Khurshid, and Dewayne E Perry Whispec: White-box testing of libraries using declarative specifications. › servlets › purl

Satisfiability modulo relations: theory and applications.

iro.uiowa.edu

by B Meng · Cited by 2 — [58] Danhua Shao, Sarfraz Khurshid, and Dewayne E. Perry. Whispec: white-box testing of libraries using declarative specifications. › esploro › fulltext › doctoral

XSiena: The Content-Based Publish/Subscribe System

tud.qucosa.de

by Z Jerzak · Cited by 10 — [WJLS04] Jinling Wang, Beihong Jin, Jing Li, and Danhua Shao. A semantic-aware publish/subscribe system with rdf patterns. › api › attachment › ATT-0

Related search requests for Danhua Shao

Divya Gopinath
Jinling Wang

Person "Shao" (3)
Forename "Danhua" (13)
Name "Shao" (913)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Danhua Shao and Cited Free People Check