R. Venkatesh

According to our database1, R. Venkatesh authored at least 32 papers between 2003 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020
VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Scaling Test Case Generation For Expressive Decision Tables.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Using hypersafety verification for proving correctness of programming assignments.
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2019
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.
Int. J. Softw. Tools Technol. Transf., 2019

Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper).
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

VeriAbs : Verification by Abstraction and Test Generation.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2018
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors.
CoRR, 2018

Property Checking Array Programs Using Loop Shrinking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Efficiently Learning Safety Proofs from Appearance as well as Behaviours.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Refining Task Specifications using Model Checking.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Generalizing specific-instance interpolation proofs with SyGuS.
Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

2017
Sequentialization Using Timestamps.
Proceedings of the Theory and Applications of Models of Computation, 2017

VeriAbs: Verification by Abstraction (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016
Scaling Bounded Model Checking by Transforming Programs with Arrays.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

TIC: a scalable model checking based approach to WCET estimation.
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

2015
On Generating Test Cases from EDT Specifications.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2015

Cost-effective Functional Testing of Reactive Software.
Proceedings of the ENASE 2015, 2015

Over-approximating loops to prove properties using bounded model checking.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
EDT: A specification notation for reactive systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
Scaling Model Checking for Test Generation Using Dynamic Inference.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Reachability Verification of Rhapsody Statecharts.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Trace based reachability verification for statecharts.
Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012
Precise Analysis of Large Industry Code.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2010
Masking Boundary Value Coverage: Effectiveness and Efficiency.
Proceedings of the Testing, 2010

Feature based Structuring and Composing of SDLC Artifacts.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Proving unreachability using bounded model checking.
Proceedings of the Proceeding of the 3rd Annual India Software Engineering Conference, 2010

2009
Automatic Test Data Generation for C Programs.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

2005
Visual specification and analysis of use cases.
Proceedings of the ACM 2005 Symposium on Software Visualization, 2005

2003
Model Checking Visual Specification of Requirements.
Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003


  Loading...