Hongyu Zhang (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

20 Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: Using source transformation to test and model check implicit-invocation systems. Sci. Comput. Program. 62(3): 209-227 (2006)

18 Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM 2005: 87-96

Selection of 2 from 61 records - Hongyu Zhang has 76 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

20		Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: Using source transformation to test and model check implicit-invocation systems. Sci. Comput. Program. 62(3): 209-227 (2006)
18		Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM 2005: 87-96