Huiquan Zhu

From verified model to executable program: the PAT approach

Jin Song Dong, Shang-Wei Lin, Jing Sun, 2016, Innovations in Systems and Software Engineering.

Generating C# Programs from CSP# Models

Jin Song Dong, Shang-Wei Lin, Bimlesh Wadhwa, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.