Share This Author
Improving bug localization using structured information retrieval
- Ripon K. Saha, Matthew Lease, S. Khurshid, D. Perry
- Computer Science28th IEEE/ACM International Conference on…
- 11 November 2013
This work provides a thorough grounding of IR-based bug localization research in fundamental IR theoretical and empirical knowledge and practice and presents BLUiR, which embodies this insight, requires only the source code and bug reports, and takes advantage of bug similarity data if available.
Korat: automated testing based on Java predicates
Korat is a novel framework for automated testing of Java programs that uses the method precondition to automatically generate all (nonisomorphic) test cases up to a given small size and generates test cases much faster than the declarative framework.
Generalized Symbolic Execution for Model Checking and Testing
A source to source translation to instrument a program is defined, which enables standard model checkers to perform symbolic execution of the program, and a novel symbolic execution algorithm is given that handles dynamically allocated structures, method preconditions and concurrency.
Test input generation with java PathFinder
The main contribution of this work is to show how efficient white-box test input generation can be done for code manipulating complex data, taking into account complex method preconditions.
DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems
- Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, S. Khurshid
- Computer Science33rd IEEE/ACM International Conference on…
- 1 September 2018
The experimental results demonstrate that DeepRoad can detect thousands of inconsistent behaviors for DNN-based autonomous driving systems, and effectively validate input images to potentially enhance the system robustness as well.
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
- Chad Brubaker, S. Jana, Baishakhi Ray, S. Khurshid, Vitaly Shmatikov
- Computer ScienceIEEE Symposium on Security and Privacy
- 18 May 2014
This work designs, implements, and applies the first methodology for large-scale testing of certificate validation logic in SSL/TLS implementations, and implements and applies "frankencerts," synthetic certificates that are randomly mutated from parts of real certificates and thus include unusual combinations of extensions and constraints.
TestEra: a novel framework for automated testing of Java programs
- D. Marinov, S. Khurshid
- Computer ScienceProceedings 16th Annual International Conference…
- 26 November 2001
The paper discusses TestEra's analyses of several case studies: methods that manipulate singly linked lists and red-black trees, a naming architecture, and a part of the Alloy Analyzer.
Directed incremental symbolic execution
Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes, to combine the efficiencies of static analysis techniques to compute program difference information with the precision of symbolic execution to explore program execution paths and generate path conditions affected by the differences.
Towards Practical Program Repair with On-demand Candidate Generation
- Jinru Hua, Mengshi Zhang, Kaiyuan Wang, S. Khurshid
- Computer ScienceIEEE/ACM 40th International Conference on…
- 27 May 2018
Experimental results show that SketchFix works particularly well in repairing bugs with expression manipulation at the AST node-level granularity compared to other program repair techniques.
Exploring very large state spaces using genetic algorithms
- Patrice Godefroid, S. Khurshid
- Computer ScienceInternational Journal on Software Tools for…
- 1 August 2004
For finding errors in very large state spaces, the experiments show that a genetic search using simple heuristics can significantly outperform random and systematic searches.