R. Venkatesh
发表
Priyanka Darke,
R. Venkatesh,
Sakshi Agrawal,
2021,
TACAS.
Jim Steel,
Shane Sendall,
Laurence Tratt,
2005
.
Supriya Agrawal,
R. Venkatesh,
Ulka Shrotri,
2014,
2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Ravindra Metta,
R. Venkatesh,
Ulka Shrotri,
2010,
ISEC.
Ravindra Metta,
Ulka Shrotri,
Aniket Kulkarni,
2007
.
Mathai Joseph,
R. Venkatesh,
Ashok Sreenivas,
2001,
CATS.
Samarjit Chakraborty,
Martin Becker,
Ravindra Metta,
2016,
LCTES.
R. Venkatesh,
Zhiming Liu,
Zhiming Liu,
2005,
VSTTE.
Zhiming Liu,
R. Venkatesh,
Zhiming Liu,
2005
.
Raveendra Kumar Medicherla,
P. Darke,
R. Venkatesh,
2022,
Communications of the ACM.
Priyanka Darke,
Bharti Chimdyalwar,
Avriti Chauhan,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Amitabha Sanyal,
Shrawan Kumar,
R. Venkatesh,
2018,
TACAS.
Priyanka Darke,
Bharti Chimdyalwar,
R. Venkatesh,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
R. Venkatesh,
Uday P. Khedker,
Anushri Jana,
2016,
LOPSTR.
Ravindra Metta,
Priyanka Darke,
Bharti Chimdyalwar,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Priyanka Darke,
R. Venkatesh,
Ulka Shrotri,
2012,
2012 19th Asia-Pacific Software Engineering Conference.
R. Venkatesh,
Kumar Madhukar,
Muqsit Azeem,
2021,
ArXiv.
Girish Keshav Palshikar,
Purandar Bhaduri,
R. Venkatesh,
2002,
VISS@ETAPS.
Purandar Bhaduri,
R. Venkatesh,
Ulka Shrotri,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
Samarjit Chakraborty,
Martin Becker,
Ravindra Metta,
2018,
International Journal on Software Tools for Technology Transfer.
Tony Clark,
Laurence Tratt,
Sreedhar Reddy,
2003
.
Purandar Bhaduri,
R. Venkatesh,
R. Venkatesh,
2022
.
Shrawan Kumar,
Priyanka Darke,
Bharti Chimdyalwar,
2017,
TACAS.