Systematic testing for control applications. - Rupak Majumdar; Indranil Saha; Zilong Wang 004 (MEMOCODE, 2010)

CLSE: Closed-Loop Symbolic Execution. - Rupak Majumdar; Indranil Saha; K. C. Shashidhar; Zilong Wang 004 (NASA Formal Methods, 2012)

Expand, Enlarge, and Check for Branching Vector Addition Systems. - Rupak Majumdar; Zilong Wang 004 (CONCUR, 2013)

Provenance Verification. - Rupak Majumdar; Roland Meyer 001; Zilong Wang 004 (RP, 2013)

Static Provenance Verification for Message Passing Programs. - Rupak Majumdar; Roland Meyer 001; Zilong Wang 004 (SAS, 2013)

Kuai: A model checker for software-defined networks. - Rupak Majumdar; Sai Deep Tetali; Zilong Wang 004 (FMCAD, 2014)

Bbs: A Phase-Bounded Model Checker for Asynchronous Programs. - Rupak Majumdar; Zilong Wang 004 (CAV (1), 2015)

LLSPLAT: Improving Concolic Testing by Bounded Model Checking. - Min Gao 003; Lei He 001; Rupak Majumdar; Zilong Wang 004 (SCAM, 2016)

Algorithms and Tools for Verification and Testing of Asynchronous Programs. - Zilong Wang 004 (2016)