Mukund Raghothaman

1. SWIM
   2015/11/26 by Mukund Raghothaman, Yi Wei, Youssef Hamadi · 3 voices · 1 citation
   Computer Science · #Software Engineering Research #Web Data Mining and Analysis #Advanced Malware Detection Techniques
2. Membership Testing for Semantic Regular Expressions
   2024/10/17 by Yifei Huang, Matin Amini, Alexis Le Glaunec +2 · 6 voices · 1 citation
   Computer Science · Social Sciences · #Software Testing and Debugging Techniques #Topic Modeling #Access Control and Trust
3. The SyGuS Language Standard Version 2.1
   2023/12/10 by Saswat Padhi, Elizabeth Polgreen, Padhi, Saswat +7 · 2 citations
   Computer Science · #Formal Methods in Verification #Advanced Software Engineering Methodologies #Software Engineering Research