• Sign in
  • Sign up
conf.researchr.org / R Venkatesh
  • * ICSE 2018 * profile
  • ASE 2019 profile
  • ICSE 2020 profile
  • ICST 2020 profile
  • PLDI 2019 profile

Not registered as user yet

Name:R Venkatesh

Contributions

ICST 2020 Author of Scaling Test Case Generation For Expressive Decision Tables within the Industry Track-track
ASE 2019 Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track
ICSE 2020 Author of Using Hypersafety Verification for Proving Correctness of Programming Assignments within the New Ideas and Emerging Results-track
* ICSE 2018 * Author of Generalizing Specific-Instance Interpolation Proofs with SyGuS within the NIER - New Ideas and Emerging Results -track

Share
xTue 28 Jun 23:28
using conf.researchr.org (v1.56.1)
Support page
Sign Up