Skip to main navigation
Skip to search
Skip to main content
King's College London Home
Home
Profiles
Research units
Research output
Projects
Student theses
Activities
Datasets
Impacts
Prizes
Search by expertise, name or affiliation
Zheng Li
Mr
54
Citations
Overview
Fingerprint
Network
Research output
(4)
Projects
(1)
Similar Profiles
(6)
Research output
2
Conference paper
2
Article
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Article
Search results
2013
Amorphous Slicing of Extended Finite State Machines
Androutsopoulos, K.
,
Clark, D.
,
Harman, M.
, Hierons, R. M.,
Li, Z.
&
Tratt, L.
,
2013
,
In:
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING.
39
,
7
,
p. 892-909
18 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
21
Citations (Scopus)
2010
An alternative characterization of weak order dependence
Amtoft, T., Androutsopoulos, K.,
Clark, D.
,
Harman, M.
&
Li, Z.
,
15 Oct 2010
,
In:
INFORMATION PROCESSING LETTERS.
110
,
21
,
p. 939 - 943
5 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
Control Dependence
100%
Control-Flow Graph
50%
Computation
25%
Dependence Analysis
25%
Program Analysis
25%
2
Citations (Scopus)