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
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
Main contributions PowerPoint Presentation, free download
www.slideserve.com
Sep 12, — Contributions - A case for white-box testing using declarative specification danhua shao sarfraz khurshid dewayne e. Mar 29, — Contributions - A case for white-box testing using declarative specification danhua shao sarfraz khurshid dewayne e. › ramya › main-contributions › bin › contributions-to-edu...
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
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
white-box testing of libraries using declarative specifications
www.semanticscholar.org
@inproceedings{Shao2007WhispecWT, title={Whispec: white-box testing of libraries using declarative specifications}, author={Danhua Shao and Sarfraz Khurshid ... › paper › figure
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
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 ...
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
[ecoop-info] FM 2009: Accepted Papers
web.satd.uma.es
... approach to scope-bounded checking using a lightweight formal method Danhua Shao, Sarfraz Khurshid and Dewayne E * Reasoning about ...
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