Searching for authors named "Xianghua Deng" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Bogor/Kiasan: a k-bounded symbolic execution for checking strong heap properties of open systems
- … ∗ Xianghua Deng Kansas State University deng@(email omitted); Abstract This paper presents Kiasan, a bounded…
- Cited by 8 (1 self) – Add To MetaCart
-
Kiasan/KUnit: Automatic test case generation and analysis feedback for open object-oriented systems
- …-oriented Systems ∗ ABSTRACT Xianghua Deng, Robby, John Hatcliff Department of Computing and Information Sciences…
- Cited by 3 (1 self) – Add To MetaCart
-
Towards a case-optimal symbolic execution algorithm for analyzing strong properties of object-oriented programs
- …-Oriented Programs ∗ Xianghua Deng, Robby, John Hatcliff Department of Computing and Information Sciences, Kansas…
- Cited by 2 (1 self) – Add To MetaCart
-
Invariant-based Specification, Synthesis, and Verification of Synchronization in Concurrent Programs
- … Programs ABSTRACT Xianghua Deng, Matthew B. Dwyer, John Hatcliff and Masaaki Mizuno Kansas State University…
- Cited by 28 (3 self) – Add To MetaCart
-
Cadena: An integrated development environment for analysis, synthesis, and verification of component-based systems
- … of Component-Based Systems ⋆ Adam Childs, Jesse Greenwald, Venkatesh Prasad Ranganath, Xianghua Deng, Matthew…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 5.
