( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantifying the effectiveness of testing via efficient residual path profiling.

, , и . ESEC/SIGSOFT FSE, стр. 545-548. ACM, (2007)

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

 

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

Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances., , , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 299-306. Springer, (2015)Active label cleaning: Improving dataset quality under resource constraints., , , , , , , , , и 2 other автор(ы). CoRR, (2021)Probabilistic, modular and scalable inference of typestate specifications., и . PLDI, стр. 211-221. ACM, (2011)Automatically Refining Abstract Interpretations., , , и . TACAS, том 4963 из Lecture Notes in Computer Science, стр. 443-458. Springer, (2008)Learning refinement types., , и . ICFP, стр. 400-411. ACM, (2015)Learning to Exploit Temporal Structure for Biomedical Vision-Language Processing., , , , , , , , , и 6 other автор(ы). CVPR, стр. 15016-15027. IEEE, (2023)Lifted Auto-Context Forests for Brain Tumour Segmentation., , , и . BrainLes@MICCAI, том 10154 из Lecture Notes in Computer Science, стр. 171-183. (2016)Debugging Machine Learning Tasks., , , , и . CoRR, (2016)Verification, Testing and Statistics., и . TAP, том 5668 из Lecture Notes in Computer Science, стр. 6-9. Springer, (2009)One-Bit Compressed Sensing: Provable Support and Vector Recovery., , , и . ICML (3), том 28 из JMLR Workshop and Conference Proceedings, стр. 154-162. JMLR.org, (2013)