( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specification Inference and Invariant Generation: A Machine Learning Perspective.

. ATx/WInG@IJCAR, том 17 из EPiC Series in Computing, стр. 54. EasyChair, (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.

Hasima Nori

Nori Möding

Nori Görmer

Wafa Nori

Aditya Aryasomayajula

 

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

The YogiProject: Software Property Checking via Static Analysis and Testing., , , и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 178-181. Springer, (2009)Interpolants as Classifiers., , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 71-87. Springer, (2012)Proofs from tests., , , и . ISSTA, стр. 3-14. ACM, (2008)An empirical study of optimizations in YOGI., и . ICSE (1), стр. 355-364. ACM, (2010)Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources., , и . PEPM, стр. 21-26. ACM, (2015)Unifying Views of Tail-Biting Trellis Constructions for Linear Block Codes., и . IEEE Trans. Inf. Theory, 52 (10): 4431-4443 (2006)Combining Relational Learning with SMT Solvers Using CEGAR., , , и . CAV, том 8044 из Lecture Notes in Computer Science, стр. 447-462. Springer, (2013)Making the Most of Text Semantics to Improve Biomedical Vision-Language Processing., , , , , , , , , и 2 other автор(ы). ECCV (36), том 13696 из Lecture Notes in Computer Science, стр. 1-21. Springer, (2022)Termination proofs from tests., и . ESEC/SIGSOFT FSE, стр. 246-256. ACM, (2013)HOLMES: Effective statistical debugging via efficient path profiling., , , , и . ICSE, стр. 34-44. IEEE, (2009)