default search action

combined dblp search
author search
venue search
publication search

ask others

Gongzheng Lu

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/chinaf/LuXYX19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/chinaf/LuXYX19
Gongzheng Lu, Lei Xu, Yibiao Yang, Baowen Xu:
Predictive analysis for race detection in software-defined networks. Sci. China Inf. Sci. 62(6): 62101:1-62101:20 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Zhou0LZ023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Zhou0LZ023
Jingyao Zhou, Lei Xu, Gongzheng Lu, Weifeng Zhang, Xiangyu Zhang:
NodeRT: Detecting Races in Node.js Applications Practically. ISSTA 2023: 1332-1344
2020
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icann/ChenJZWL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icann/ChenJZWL20
Song Chen, Junpeng Jiang, Xiaofang Zhang, Jin-Jin Wu, Gongzheng Lu:
GAN-Based Planning Model in Deep Reinforcement Learning. ICANN (2) 2020: 323-334
2014
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sofl/ChangML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofl/ChangML14
Longhui Chang, Huaikou Miao, Gongzheng Lu:
An Implementation Framework for Optimizing Test Case Generation Using Model Checking. SOFL+MSVL 2014: 3-16
2013
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/LuM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/LuM13
Gongzheng Lu, Huaikou Miao:
Feasibility Analysis of the EFSM Transition Path Combining Slicing with Theorem Proving. TASE 2013: 153-156
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LuM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LuM14
Gongzheng Lu, Huaikou Miao:
An Approach to Generating Test Data for EFSM Paths Considering Condition Coverage. TTSS 2013: 13-29

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.