• Publications
  • Influence
Improving bug localization using structured information retrieval
TLDR
We present BLUiR, which embodies this insight, requires only the source code and bug reports, and takes advantage of bug similarity data if available. Expand
  • 237
  • 66
  • PDF
Generalized Symbolic Execution for Model Checking and Testing
TLDR
We provide a two-fold generalization of traditional symbolic execution based approaches. Expand
  • 615
  • 51
  • PDF
Korat: automated testing based on Java predicates
TLDR
This paper presents Korat, a novel framework for automated testing of Java programs. Expand
  • 720
  • 49
  • PDF
Test input generation with java PathFinder
TLDR
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. Expand
  • 528
  • 42
  • PDF
Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL/TLS Implementations
TLDR
We design, implement, and apply the first methodology for large-scale testing of certificate validation logic in SSL/TLS implementations. Expand
  • 142
  • 25
  • PDF
DeepRoad: GAN-Based Metamorphic Testing and Input Validation Framework for Autonomous Driving Systems
TLDR
We propose DeepRoad, an unsupervised DNN-based framework for automatically testing the consistency of DNN based autonomous driving systems and online validation. Expand
  • 139
  • 19
  • PDF
TestEra: a novel framework for automated testing of Java programs
  • D. Marinov, S. Khurshid
  • Computer Science
  • Proceedings 16th Annual International Conference…
  • 26 November 2001
TLDR
We present TestEra, a novel framework for automated testing of Java programs that automates both generation of test data and evaluation of correctness criteria for Java programs. Expand
  • 279
  • 14
  • PDF
Symbolic execution for software testing in practice: preliminary assessment
TLDR
We present results for the "Impact Project Focus Area" on the topic of symbolic execution as used in software testing. Expand
  • 305
  • 13
  • PDF
Directed incremental symbolic execution
TLDR
In this paper, we present Directed Incremental Symbolic Execution (DiSE), a novel technique for detecting and characterizing the effects of program changes. Expand
  • 208
  • 13
  • PDF
Exploring very large state spaces using genetic algorithms
TLDR
We present a novel framework for exploring very large state spaces of concurrent reactive systems. Expand
  • 156
  • 13
  • PDF
...
1
2
3
4
5
...