( en | de | ru )

 

Disambiguation of "Sen, Koushik"

Author of the publication

copydeleteadd this publication to your clipboard
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.

, , , , , and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Koushik Biswas

Koushik Chakrabarty

Nikhilranjan Sen

Ramen Sen

Sen Ye

 

Other publications of authors with the same name

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