Author of the publication

HiFrog: SMT-based Function Summarization for Software Verification.

, , , , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 207-213. (2017)

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

Efficient SMT-based verification of software programs.. King's College London, UK, (2020)Enhancing Genetic Improvement Mutations Using Large Language Models., , , , , , , and . SSBSE, volume 14415 of Lecture Notes in Computer Science, page 153-159. Springer, (2023)Lattice-Based Refinement in Bounded Model Checking., , , , and . VSTTE, volume 11294 of Lecture Notes in Computer Science, page 50-68. Springer, (2018)SearchGEM5: Towards Reliable Gem5 with Search Based Software Testing and Large Language Models., , , , and . SSBSE, volume 14415 of Lecture Notes in Computer Science, page 160-166. Springer, (2023)Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour., , and . ASE, page 1219-1223. IEEE, (2020)Lattice-based SMT for program verification., , , and . MEMOCODE, page 16:1-16:11. ACM, (2019)StableYolo: Optimizing Image Generation for Large Language Models., , , , , , , and . SSBSE, volume 14415 of Lecture Notes in Computer Science, page 133-139. Springer, (2023)CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively., , and . Empir. Softw. Eng., 27 (6): 129 (2022)HiFrog: SMT-based Function Summarization for Software Verification., , , , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 207-213. (2017)Function Summarization Modulo Theories., , , , , , and . LPAR, volume 57 of EPiC Series in Computing, page 56-75. EasyChair, (2018)