Login / Signup
Manli Ran
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Real World
Multiple Objects
Object Position
Genetic Algorithm
Top Venues
ICSE
</>
Publications
</>
Martin Kellogg
,
Manli Ran
,
Manu Sridharan
,
Martin Schäf
,
Michael D. Ernst
Verifying object construction.
ICSE
(2020)