Concepedia

Priyanka Darke

PD

7

Publications

203

Citations

7

H-Index

1997

Active since

Affiliations

Tata Consultancy Services (India)(Current)

Priyanka Darke is an author at Tata Consultancy Services (India) specializing in engineering, systems engineering, and formal verification.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringVerificationSoftware Engineering

Publications per year

1997–2019

7

Publications

7

User viewpoint modelling: understanding and representing user viewpoints during requirements definition

Priyanka Darke, Graeme Shanks · Information Systems Journal · 1997 · 58 citations

Engineering, Information Systems, Requirement Modeling +20

VeriAbs : Verification by Abstraction and Test Generation

Mohammad Atif Faiz Afzal, A. Asia, Avriti Chauhan et al. · 2019 · 42 citations

Program Checking, Engineering, Verification +20

Automatic Test Data Generation for C Programs

Prasad Bokil, Priyanka Darke, Ulka Shrotri et al. · 2009 · 32 citations

Engineering, Test Coverage, Test Data Generation +20

Over-Approximating Loops to Prove Properties using Bounded Model Checking

Priyanka Darke, Bharti Chimdyalwar, R. Venkatesh et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 22 citations

Program Checking, Engineering, Verification +18

Precise Analysis of Large Industry Code

Priyanka Darke, Mayur Khanzode, Arun Asokan Nair et al. · 2012 · 20 citations

Software Maintenance, Program Checking, Engineering +23

Rows per page

1–5 of 7