Searching for authors named "Hongjun Zheng" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Slicing Software for Model Construction
- …Slicing Software for Model Construction John Hatcliff Matthew B. Dwyer Hongjun Zheng SAn…
- Cited by 75 (16 self) – Add To MetaCart
-
A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
- … Hatcliff 1 , James Corbett 2 , Matthew Dwyer 1 , Stefan Sokolowski 1 , and Hongjun Zheng 1 1 SAn…
- Cited by 45 (17 self) – Add To MetaCart
-
Slicing Multi-threaded Java Programs: A Case Study
- … ¢ , John Hatcliff ¡ , Stefan Sokolowski ¡ , Hongjun Zheng ¡ Kansas State University ¡ Department…
- Cited by 4 (1 self) – Add To MetaCart
-
Bandera : Extracting Finite-state Models from Java Source Code
- …@(email omitted); Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng Kansas State…
- Add To MetaCart
-
Tool-supported Program Abstraction for Finite-state Verification
- …, Roby Joehanes, Shawn Laubach, Corina S. Păsăreanu, Robby, Hongjun Zheng Kansas State University…
- Cited by 46 (6 self) – Add To MetaCart
-
Bandera: Extracting Finite-state Models from Java Source Code
- …@(email omitted); Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng Kansas State…
- Cited by 447 (33 self) – Add To MetaCart
Showing 1 through 6.
