• Publications
  • Influence
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry function may containExpand
  • 1,763
  • 171
  • PDF
Korat: automated testing based on Java predicates
This paper presents Korat, a novel framework for automated testing of Java programs. Given a formal specification for a method, Korat uses the method precondition to automatically generate allExpand
  • 702
  • 46
  • PDF
Usage, costs, and benefits of continuous integration in open-source projects
Continuous integration (CI) systems automate the compilation, building, and testing of software. Despite CI rising as a big success story in automated software engineering, it has received almost noExpand
  • 134
  • 23
  • PDF
An empirical analysis of flaky tests
Regression testing is a crucial part of software development. It checks that software changes do not break existing functionality. An important assumption of regression testing is that test outcomesExpand
  • 163
  • 22
  • PDF
Automated Detection of Refactorings in Evolving Components
One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, and disruptive of theExpand
  • 239
  • 21
  • PDF
Automated testing of refactoring engines
Refactorings are behavior-preserving program transformations that improve the design of a program. Refactoring engines are tools that automate the application of refactorings: first the user choosesExpand
  • 208
  • 20
  • PDF
Rostra: a framework for detecting redundant object-oriented unit tests
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the state of the receiver object and method arguments at the beginning of the invocation.Expand
  • 139
  • 18
  • 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
We present TestEra, a novel framework for automated testing of Java programs. TestEra automatically generates all non-isomorphic test cases within a given input size and evaluates correctnessExpand
  • 273
  • 15
  • PDF
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method's arguments and the state of the receiver at the beginning of the invocation.Expand
  • 287
  • 13
  • PDF
Test generation through programming in UDITA
We present an approach for describing tests using non-deterministic test generation programs. To write such programs, we introduce UDITA, a Java-based language with non-deterministic choice operatorsExpand
  • 137
  • 12
  • PDF