( en | de | ru )

 

Disambiguation of "Darke, Priyanka"

Author of the publication

copydeleteadd this publication to your clipboard
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).

, , , , , , , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 457-462. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Priyanka Nannapaneni

Priyanka Shahi

Priyanka Singh

Priyanka Narang

Priyanka Dutta

 

Other publications of authors with the same name

OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems., and . ICSME, page 436-440. IEEE, (2023)Automatic Test Data Generation for C Programs., , , and . SSIRI, page 359-368. IEEE Computer Society, (2009)VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)., , , , , and . TACAS (2), volume 13994 of Lecture Notes in Computer Science, page 588-593. Springer, (2023)VeriAbs: Verification by Abstraction (Competition Contribution)., , , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 404-408. (2017)VeriAbs : Verification by Abstraction and Test Generation., , , , , , , and . ASE, page 1138-1141. IEEE, (2019)VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution)., , and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 458-462. Springer, (2021)Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking., , , and . ICST, page 468-475. IEEE Computer Society, (2017)Impactful research and tooling for program correctness., , , and . Commun. ACM, 65 (11): 52-53 (2022)VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution)., , , , , , , , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 457-462. Springer, (2018)Precise Analysis of Large Industry Code., , , , and . APSEC, page 306-309. IEEE, (2012)