( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.

, , , , , и . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 14 (2019)

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.

Koushik Biswas

Koushik Chakrabarty

Nikhilranjan Sen

Sen Ye

Ramen Sen

 

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

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions., , и . FMCAD, стр. 203-211. IEEE, (2019)Repairing Event Race Errors by Controlling Nondeterminism, , , , , и . Proceedings of the 39th International Conference on Software Engineering, стр. 289--299. Piscataway, NJ, USA, IEEE Press, (2017)Maximizing Communication Overlap with Dynamic Program Analysis., , , и . HPC Asia, стр. 1-11. ACM, (2018)Symbolic execution for software testing: three decades later., и . Commun. ACM, 56 (2): 82-90 (2013)Model-Checking omega-Regular Properties of Interval Markov Chains., , и . FoSSaCS, том 4962 из Lecture Notes in Computer Science, стр. 302-317. Springer, (2008)Rule-Based Runtime Verification., , , и . VMCAI, том 2937 из Lecture Notes in Computer Science, стр. 44-57. Springer, (2004)Online Efficient Predictive Safety Analysis of Multithreaded Programs., , и . TACAS, том 2988 из Lecture Notes in Computer Science, стр. 123-138. Springer, (2004)Learning to Verify Safety Properties., , , и . ICFEM, том 3308 из Lecture Notes in Computer Science, стр. 274-289. Springer, (2004)SlimFit: Memory-Efficient Fine-Tuning of Transformer-based Models Using Training Dynamics., , , , , , и . CoRR, (2023)ItyFuzz: Snapshot-Based Fuzzer for Smart Contract., , и . ISSTA, стр. 322-333. ACM, (2023)