Ulka Shrotri
发表
Ravindra Metta,
Priyanka Darke,
Bharti Chimdyalwar,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Purandar Bhaduri,
R. Venkatesh,
Ulka Shrotri,
2003,
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings..
R. Venkatesh,
Ulka Shrotri,
Tukaram Muske,
2010,
SEKE.
Supriya Agrawal,
R. Venkatesh,
Ulka Shrotri,
2015,
2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).
Ravindra Metta,
R. Venkatesh,
Ulka Shrotri,
2013,
2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Shrawan Kumar,
Bharti Chimdyalwar,
Ulka Shrotri,
2013,
ESEC/FSE 2013.
Prasad Bokil,
Ulka Shrotri,
Aniket Kulkarni,
2008,
ISEC '08.
Priyanka Darke,
R. Venkatesh,
Ulka Shrotri,
2012,
2012 19th Asia-Pacific Software Engineering Conference.
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
.
Prasad Bokil,
R. Venkatesh,
Ulka Shrotri,
2010,
TAIC PART.
Supriya Agrawal,
R. Venkatesh,
Ulka Shrotri,
2015,
ENASE.
Prasad Bokil,
Priyanka Darke,
R. Venkatesh,
2009,
2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement.
Deepali Kholkar,
R. Venkatesh,
Ulka Shrotri,
2005,
SoftVis '05.
Ulka Shrotri,
Amey Zare,
Sagar Verma,
2020,
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST).
R. Venkatesh,
Ulka Shrotri,
Srinarayana Nagarathinam,
2021,
2021 58th ACM/IEEE Design Automation Conference (DAC).