Login / Signup
V. Pasupuleti
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Back End
Mutation Testing
Temporal Logic
Formal Verification
Top Venues
DSA
</>
Publications
</>
A. Chakrapani Rao
,
A. Raouf
,
Gunwant Dhadyalla
,
V. Pasupuleti
Mutation Testing Based Evaluation of Formal Verification Tools.
DSA
(2017)