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
Abstract State Machines, Alloy, B and Z: Second International...
books.google.si
392 Danhua Shao, Divya Gopinath, Sarfraz Khurshid, and Dewayne E. Perry On the Modelling and Analysis of Amazon Web Services Access Policies .
FM 2009: Formal Methods: Second World Congress, Eindhoven, The...
books.google.ch
Danhua Shao, Sarfraz Khurshid, and Dewayne E. Perry Verifying Information
Flow ...
IEEE 21st International Symposium on Software Reliability ...
researchr.org
[doi] · Optimizing Incremental Scope-Bounded Checking with Data-Flow AnalysisDanhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry. › publication › issre-2010
Do Customized Android Frameworks Keep Pace with arXiv
arxiv.org
by P Liu · — [38] Danhua Shao, Sarfraz Khurshid, and Dewayne E Perry SCA: a semantic conflict analyzer for parallel changes. › pdf
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
Automated, Targeted Testing of Property-Based Brown CS
cs.brown.edu
by T Nelson — [ ] Danhua Shao, Sarfraz Khurshid, and Dewayne E. Perry. “Whispec: White- box Testing of Libraries Using Declarative Specifications”. In: Symposium on. › Papers › Published › paper
CiteSeerX — Mining Change and Version Management Histories to...
citeseer.ist.psu.edu
BibTeX @INPROCEEDINGS{Shao_miningchange, author = {Danhua Shao and Sarfraz Khurshid and Dewayne E. Perry}, title = {Mining Change and Version Management …
CiteSeerX — Detecting Semantic Interference in Parallel Changes: An...
citeseer.ist.psu.edu
BibTeX @MISC{Shao_detectingsemantic, author = {Danhua Shao and Sarfraz Khurshid and Dewayne E Perry}, title = {Detecting Semantic Interference in Parallel Changes ...
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
Mining Change and Version Management Histories to Evaluate an...
core.ac.uk
Mining Change and Version Management Histories to Evaluate an Analysis Tool: Extended Abstract . By Danhua Shao, Sarfraz Khurshid and Dewayne E. Perry. …
All web results to the name "Danhua Shao"
SETasks - asergrp - Google Sites
sites.google.com
[PDF]; Mining Change and Version Management Histories to Evaluate an Analysis Tool, Danhua Shao, Sarfraz Khurshid and Dewayne E. Perry › site › asergrp › dmse › setasks
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
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
Dewayne E. Perry - The University of Texas at Austin - StudyLib
studylib.net
Best Paper Award, “Semantic Impact and Faults in Source Code Changes: An Empirical Study”, Danhua Shao, Sarfraz Khurshid, and Dewayne E. Perry, ... › Business › Management
Glass box software model checking | Scinapse
www.scinapse.io
3 Authors (Danhua Shao, ..., Dewayne E. Perry). 18 Citations. Read Later. Mechanized metatheory model-checking Authors (James Cheney, ... › papers
MASPLAS 2006
prolangs.cs.vt.edu
Danhua Shao, Sarfraz Khurshid and Dewayne E. Perry The University of Texas at Austin Abstract. Parallel changes are becoming increasingly prevalent in the ... › masplas06 › proceedings
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
Workshop on SHAring and Reusing architectural Knowledge ...
www.cs.rug.nl
09: :30 An Exploratory Case Study Using CBSP and Archium, Charles Chen, Danhua Shao, Dewayne Perry (workshop presentation). › SHARK-ADI2007 › program
automated testing of Cloud-native applications in Kubernetes
128.84.4.13
Sep 22, — [33] Danhua Shao, Sarfraz Khurshid, and Dewayne E. Perry. Whispec: White-box testing of libraries using declara- tive specifications. › pdf
A Case for Using Data-Flow Analysis to Optimize ...
www.semanticscholar.org
DOI: _30 Corpus ID: A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking @inproceedings{Shao2010ACF, title={A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking}, author={Danhua Shao and Divya Gopinath and Sarfraz Khurshid and Dewayne E. Perry}, booktitle={ASM}, year={2010} }
PPT –...
www.powershow.com
Danhua Shao Sarfraz Khurshid Dewayne E. Perry. Department of Electrical and ... Specification-based white-box approach: Under the relational logic model, ...
Predicting Faults from Direct Semantic Interference: An ...
www.semanticscholar.org
Danhua Shao, Sarfraz Khurshid and Dewayne E Perry Electrical and Computer Engineering, The University of Texas at Austin {dshao, khurshid, .edu Abstract Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large
An Exploratory Case Study Using CBSP and Archium - Semantic Scholar
www.semanticscholar.org
Danhua Shao. The University of Texas at Austin, Empirical. Software Engineering Laboratory,. Austin, Texas. U.S.A .edu. Dewayne E. Perry.
BibSLEIGH — SCA: a semantic conflict analyzer for parallel changes
bibtex.github.io
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry ... @inproceedings{ESEC-FSE ShaoKP, author = "Danhua Shao and Sarfraz Khurshid and Dewayne ...
An Exploratory Case Study Using CBSP and Archium
www.infona.pl
Danhua Shao. Univ. of Texas at Austin, Austin autor Perry. Univ. of Texas at Austin, Austin Bibliografia. Typ dokumentu. Bibliografia. Identyfikator YADDA. bwmeta1 ...
SCA: a semantic conflict analyzer for parallel changes - Semantic...
www.semanticscholar.org
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry; SIGSOFT; 2009; View PDF. Cite; Save; Abstract. Parallel changes are becoming increasingly prevalent in the ...
CiteSeerX — Active Bibliography: Challenges in Evolving a Large Scale...
citeseer.uark.edu
CiteSeerX - Document Details (Isaac Councill, Lee Giles): Mining Change ...
Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry D.E Danhua Shao, Sarfraz Khurshid, Dewayne E Perry
Software Testing Oracle Repository
crestweb.cs.ucl.ac.uk
Specified, Danhua Shao, S. Khurshid & D.E. Perry, A Case for White-box Testing Using Declarative Specifications Poster Abstract. [BibTeX] ...
FM2009 Symposium
www.win.tue.nl
Danhua Shao, Sarfraz Khurshid, Dewayne Perry: Verifying Information Flow Control Over Unbounded Processes: William Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha,
Related search requests for Danhua Shao
Divya Gopinath Jinling Wang |
Person "Shao" (3) Forename "Danhua" (13) Name "Shao" (913) |
sorted by relevance / date