Sign in

Symbolic state validation through runtime data.

Yueqi LiShing-Chi Cheung
Published in: ASE (2014)
Keyphrases