( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automating Software Testing Using Program Analysis.

, , , , , , и . IEEE Software, 25 (5): 30-37 (2008)

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

 

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

Adaptive Neural Trees., , , , и . ICML, том 97 из Proceedings of Machine Learning Research, стр. 6166-6175. PMLR, (2019)Bottom-up shape analysis using LISF., , , и . ACM Trans. Program. Lang. Syst., 33 (5): 17:1-17:41 (2011)Efficiently Sampling Probabilistic Programs via Program Analysis., , и . AISTATS, том 31 из JMLR Workshop and Conference Proceedings, стр. 153-160. JMLR.org, (2013)Program Analysis and Machine Learning: A Win-Win Deal., и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 2-3. Springer, (2011)Alternation for Termination., , , и . SAS, том 6337 из Lecture Notes in Computer Science, стр. 304-319. Springer, (2010)The economics of static analysis tools., и . ESEC/SIGSOFT FSE, стр. 707-710. ACM, (2013)Quantifying the effectiveness of testing via efficient residual path profiling., , и . ESEC/SIGSOFT FSE, стр. 545-548. ACM, (2007)Secure Medical Image Analysis with CrypTFlow., , , , , , , , и . CoRR, (2020)A user-guided approach to program analysis., , , и . ESEC/SIGSOFT FSE, стр. 462-473. ACM, (2015)Automating Software Testing Using Program Analysis, , , , , , и . IEEE Software, 25 (5): 30-37 (2008)