( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Effective false positive filtering for evolving software.

, и . ISEC, стр. 103-106. ACM, (2011)

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.

Kapil Bharti

Bhuvnesh Bharti

Sanita Bharti

Bharti Sharma

 

Другие публикации лиц с тем же именем

VeriAbs : Verification by Abstraction and Test Generation., , , , , , , и . ASE, стр. 1138-1141. IEEE, (2019)Survey of array out of bound access checkers for C code.. ISEC, стр. 45-48. ACM, (2012)Fast Analysis of Evolving Software Systems., , , и . ISSRE Workshops, стр. 49-54. IEEE, (2022)OLA: Property Directed Outer Loop Abstraction for Efficient Verification of Reactive Systems., и . ICSME, стр. 436-440. IEEE, (2023)Fast Change-Based Alarm Reporting for Evolving Software Systems., , , , , и . ISSRE, стр. 546-556. IEEE, (2021)VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)., , , , , и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 588-593. Springer, (2023)VeriAbs: Verification by Abstraction (Competition Contribution)., , , , , и . TACAS (2), том 10206 из Lecture Notes in Computer Science, стр. 404-408. (2017)Efficient Safety Proofs for Industry-Scale Code Using Abstractions and Bounded Model Checking., , , и . ICST, стр. 468-475. IEEE Computer Society, (2017)Selective path-sensitive interval analysis (WIP paper)., и . LCTES, стр. 146-150. ACM, (2021)Identifying Relevant Changes for Incremental Verification of Evolving Software Systems., , , , и . SANER, стр. 657-661. IEEE, (2022)