Zilong Wang

According to our database, Zilong Wang authored at least 9 papers between 2010 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Algorithms and Tools for Verification and Testing of Asynchronous Programs.

Zilong Wang

PhD thesis, 2016

LLSPLAT: Improving Concolic Testing by Bounded Model Checking.

Min Gao, Lei He, Rupak Majumdar, Zilong Wang

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

2015

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs.

Rupak Majumdar, Zilong Wang

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Kuai: A model checker for software-defined networks.

Rupak Majumdar, Sai Deep Tetali, Zilong Wang

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Static Provenance Verification for Message Passing Programs.

Rupak Majumdar, Roland Meyer, Zilong Wang

Proceedings of the Static Analysis - 20th International Symposium, 2013

Provenance Verification.

Rupak Majumdar, Roland Meyer, Zilong Wang

Proceedings of the Reachability Problems - 7th International Workshop, 2013

Expand, Enlarge, and Check for Branching Vector Addition Systems.

Rupak Majumdar, Zilong Wang

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

CLSE: Closed-Loop Symbolic Execution.

Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang

Proceedings of the NASA Formal Methods, 2012

2010

Systematic testing for control applications.

Rupak Majumdar, Indranil Saha, Zilong Wang

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010