Toggle navigation
Sign in
Sign up
conf.researchr.org
/
R Venkatesh
conf.researchr.org general profile
* ICSE 2018 * profile
17th Innovations in Software Engineering Conference (ISEC 2024) profile
ASE 2019 profile
ICSE 2020 profile
ICSME 2024 profile
ICST 2020 profile
PLDI 2019 profile
Not registered as user yet
Name:
R Venkatesh
Contributions
2024
ICSME
Author of Learning Strategies using Boolean Program Metrics to Verify Industrial Code within the Industry Track-track
ISEC
Committee Member in Program Committee within the Research Papers-track
2020
ICST
Author of Scaling Test Case Generation For Expressive Decision Tables within the Industry Track-track
ICSE
Author of Using Hypersafety Verification for Proving Correctness of Programming Assignments within the New Ideas and Emerging Results-track
2019
ASE
Author of VeriAbs : Verification by Abstraction and Test Generation within the Demonstrations-track
2018
ICSE
Author of Generalizing Specific-Instance Interpolation Proofs with SyGuS within the NIER - New Ideas and Emerging Results -track
Share
x
Thu 21 Nov 12:52