Ashish Mishra
Indian Institute of Technology Hyderabad(IN)
Publications by Year
Research Areas
Software Engineering Research, Software Testing and Debugging Techniques, Logic, programming, and type systems, Formal Methods in Verification, Advanced Malware Detection Techniques
Most-Cited Works
- → Stubbifier: debloating dynamic server-side JavaScript applications(2022)12 cited
- → Asynchrony-aware static analysis of Android applications(2016)7 cited
- → Covering All the Bases: Type-Based Verification of Test Input Generators(2023)6 cited
- → Specification-guided component-based synthesis from effectful libraries(2022)6 cited
- → A Modular Approach to Random Task Graph Generation(2016)4 cited
- → PLDI2023 Artifact: Covering All the Bases: Type-Based Verification of Test Input Generators(2023)1 cited
- → A Time-Variant Software Stability Model for Error Detection(2022)1 cited
- → Multi-board kernel communication using socket programming for embedded applications(2016)1 cited
- Android応用の非同期性を意識した静的解析【Powered by NICT】(2016)