conf.researchr.org / Zhongwen Guo

Not registered as user yet

Name: Zhongwen Guo

Contributions

SPIN 2019 Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track