Minxing Tang

Identifiers

No identifiers captured yet.

Papers (1)

1. Shadow Symbolic Execution with Java PathFinder cs.SE · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Hoang Lam Nguyen 1 shared papers
• Timo Kehrer 1 shared papers
• Yannic Noller 1 shared papers