Login / Signup
Monika Dhok
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 2
Top Topics
Semi Automatic
Design Automation
Symbolic Execution
Static Analysis
Top Venues
SIGSOFT FSE
ISSTA
ICSE
</>
Publications
</>
Monika Dhok
,
Murali Krishna Ramanathan
Directed test generation to detect loop inefficiencies.
SIGSOFT FSE
(2016)
Monika Dhok
,
Murali Krishna Ramanathan
,
Nishant Sinha
Type-aware concolic testing of JavaScript programs.
ICSE
(2016)
Monika Dhok
,
Rashmi Mudduluru
,
Murali Krishna Ramanathan
Pegasus: automatic barrier inference for stable multithreaded systems.
ISSTA
(2015)