Travelled to:1 × Italy
1 × Norway
Collaborated with:Z.Chen B.Yu L.Kong H.Zhu J.Wang W.Dong Z.Liu H.Yu J.W.0001 W.D.0006
Talks about:properti (2) regular (2) symbol (2) java (2) guid (2) executor (1) algebra (1) specif (1) execut (1) compon (1)
Person: Yufeng Zhang
DBLP: Zhang:Yufeng
Contributed to:
2015
2008
2017Wrote 3 papers:
- ICSE-v1-2015-ZhangCWD0 #execution #symbolic computation
- Regular Property Guided Dynamic Symbolic Execution (YZ, ZC, JW, WD, ZL), pp. 643–653.
- ICST-2008-YuKZZ #algebra #component #java #specification #testing
- Testing Java Components based on Algebraic Specifications (BY, LK, YZ, HZ), pp. 190–199.
- ESEC-FSE-2017-YuCZWD #java #named
- RGSE: a regular property guided symbolic executor for Java (HY, ZC, YZ, JW0, WD0), pp. 954–958.