Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wei Dong
conf.researchr.org general profile
* ICSE 2018 * profile
ICSE 2019 profile
ICSE 2020 profile
Not registered as user yet
Name:
Wei Dong
Contributions
ICSE 2020
Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track
ICSE 2019
Author of Parallel Refinement for Multi-Threaded Program Verification within the Technical Track-track
* ICSE 2018 *
Author of Poster W48: MC/DC Coverage-Oriented Compiler Optimization for Symbolic Execution within the Posters -track
Author of Symbolic Verification of Regular Properties within the Technical Papers -track
Share
x
Thu 2 Jul 17:29