Jay Nanavati

According to our database, Jay Nanavati authored at least 4 papers between 2015 and 2018.

Collaborative distances:

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

2018

Autofocus Layer for Semantic Segmentation.

Yao Qin, Konstantinos Kamnitsas, Siddharth Ancha, Jay Nanavati, Garrison W. Cottrell, Antonio Criminisi, Aditya V. Nori

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2018, 2018

2017

Memory mutation testing.

Fan Wu, Jay Nanavati, Mark Harman, Yue Jia, Jens Krinke

Inf. Softw. Technol., 2017

Bringing LTL Model Checking to Biologists.

Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2015

Mutation testing of memory-related operators.

Jay Nanavati, Fan Wu, Mark Harman, Yue Jia, Jens Krinke

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015