Lingyi Liu
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Automatic Generation of System Level Assertions from Transaction Level Models
Lingyi Liu and others (2013) · Journal of Electronic Testing · Springer Science+Business Media