Impactful research and tooling for program correctness-Reference-Cited by-同舟云学术

Impactful research and tooling for program correctness

Published:2022-10-20 Issue:11 Volume:65 Page:52-53
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Darke Priyanka¹,Metta Ravindra¹,Medicherla Raveendra Kumar¹,Venkatesh R.¹

Affiliation:

1. TATA Consultancy Services Ltd., Pune, India

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/3551665

Reference24 articles.

1. Afzal , M. et al. VeriAbs: Verification by abstraction and test generation . In Proceedings of the Intern. Conf. on Automated Software Engineering ( 2019 ), 1138--1141. Afzal, M. et al. VeriAbs: Verification by abstraction and test generation. In Proceedings of the Intern. Conf. on Automated Software Engineering (2019), 1138--1141.

2. Afzal , M. et al. Veriabs: Verification by abstraction and test generation . In Proceedings of the Intern. Conf. Tools and Algorithms for the Construction and Analysis of Systems ( 2020 ), 383--387. Afzal, M. et al. Veriabs: Verification by abstraction and test generation. In Proceedings of the Intern. Conf. Tools and Algorithms for the Construction and Analysis of Systems (2020), 383--387.

3. Beyer , D. , Dangl , M. , and Wendler , P . Boosting k-induction with continuously refined invariants. CAV ( 2015 ), 622--640. Beyer, D., Dangl, M., and Wendler, P. Boosting k-induction with continuously refined invariants. CAV (2015), 622--640.

4. Beyer , D. Advances in automatic software testing: Test-Comp 2022 . In Proceedings of the 25th Intern. Conf. Fundamental Approaches to Software Engineering. LNCS 13241 , Springer. Beyer, D. Advances in automatic software testing: Test-Comp 2022. In Proceedings of the 25th Intern. Conf. Fundamental Approaches to Software Engineering. LNCS 13241, Springer.

5. Beyer , D. Progress on software verification: SV-COMP 2022 . In Tools and Algorithms for the Construction and Analysis of Systems, LNCS 13244, Springer . Beyer, D. Progress on software verification: SV-COMP 2022. In Tools and Algorithms for the Construction and Analysis of Systems, LNCS 13244, Springer.