Parameterized test using formal semantic of program language

Bo Xu, Jie Cui, Zhan Kui Zhu, Cheng Lie Du

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'Parameterized test using formal semantic of program language'. Together they form a unique fingerprint.

Computer Science