( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TRACER: A Symbolic Execution Tool for Verification.

, , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 758-766. Springer, (2012)

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.

Jorge Francisco Azofeifa-Navas

Juan Navas

Jorge A Portocarrero Quispe

Gilberto Navas

Byron Navas

 

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

Path-Sensitive Backward Slicing., , , и . SAS, том 7460 из Lecture Notes in Computer Science, стр. 231-247. Springer, (2012)Verification of Fault-Tolerant Protocols with Sally., , и . NFM, том 10811 из Lecture Notes in Computer Science, стр. 113-120. Springer, (2018)Unbounded Symbolic Execution for Program Verification., , и . RV, том 7186 из Lecture Notes in Computer Science, стр. 396-411. Springer, (2011)A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs., , и . LOPSTR, том 4915 из Lecture Notes in Computer Science, стр. 154-168. Springer, (2007)Abstract Interpretation of LLVM with a Region-Based Memory Model., и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 122-144. Springer, (2021)A Study of Set-Sharing Analysis via Clique., , и . WLPE, стр. 31-45. (2005)Boosting concolic testing via interpolation., , и . ESEC/SIGSOFT FSE, стр. 48-58. ACM, (2013)Modelling Destructive Assignments., , и . CP, том 8124 из Lecture Notes in Computer Science, стр. 315-330. Springer, (2013)Verification of Programs by Combining Iterated Specialization with Interpolation., , , и . HCVS, том 169 из EPTCS, стр. 3-18. (2014)Unification-based Pointer Analysis without Oversharing., , и . FMCAD, стр. 37-45. IEEE, (2019)