Author of the publication

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).

, , , , , , , , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 383-387. Springer, (2020)

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.

 

Other publications of authors with the same name

VeriAbs: Verification by Abstraction (Competition Contribution)., , , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 404-408. (2017)Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking., , , and . ICST, page 468-475. IEEE Computer Society, (2017)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)VeriAbs : Verification by Abstraction and Test Generation., , , , , , , and . ASE, page 1138-1141. IEEE, (2019)Navigating Confidentiality in Test Automation: A Case Study in LLM Driven Test Data Generation., , , and . SANER, page 337-348. IEEE, (2024)VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)., , , , , , , , , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 383-387. Springer, (2020)Eliminating Static Analysis False Positives Using Loop Abstraction and Bounded Model Checking., , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 573-576. Springer, (2015)