26 results on '"Sen, Koushik"'
Search Results
2. Learning Highly Recursive Input Grammars
3. QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis
4. Growing a Test Corpus with Bonsai Fuzzing
5. Towards Optimal Topology Aware Quantum Circuit Synthesis
6. GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions
7. Validity Fuzzing and Parametric Generators for Effective Random Testing
8. Accelerating Search-Based Program Repair
9. Travioli: A Dynamic Analysis for Detecting Data-Structure Traversals
10. Repairing Event Race Errors by Controlling Nondeterminism
11. TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript
12. GuideSE: Annotations for Guiding Concolic Testing
13. TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications
14. Generating Succinct Test Cases Using Don't Care Analysis
15. Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems
16. Looper: Lightweight Detection of Infinite Loops at Runtime
17. WISE: Automated test generation for worst-case complexity
18. Effective static deadlock detection
19. Predictive Typestate Checking of Multithreaded Java Programs
20. Heuristics for Scalable Dynamic Test Generation
21. Hybrid Concolic Testing
22. Precimonious: Tuning assistant for floating-point precision.
23. Efficient data race detection for distributed memory parallel programs.
24. Symbolic execution for software testing in practice.
25. DETERMIN.
26. Efficient Decentralized Monitoring of Safety in Distributed Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.