Monika Dhok

According to our database, Monika Dhok authored at least 3 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Directed test generation to detect loop inefficiencies.

Monika Dhok, Murali Krishna Ramanathan

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Type-aware concolic testing of JavaScript programs.

Monika Dhok, Murali Krishna Ramanathan, Nishant Sinha

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Pegasus: automatic barrier inference for stable multithreaded systems.

Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015