• Publications
  • Influence
Automated Software Test Data Generation
  • B. Korel
  • Computer Science
  • IEEE Trans. Software Eng.
  • 1 August 1990
An alternative approach to test-data generation based on actual execution of the program under test, function-minimization methods and dynamic data-flow analysis is presented. Test data are developedExpand
  • 924
  • 83
The chaining approach for software test data generation
Software testing is very labor intensive and expensive and accounts for a significant portion of software system development cost. If the testing process could be automated, the cost of developingExpand
  • 400
  • 29
Dynamic Program Slicing
Abstract A dynamic program slice is an executable subset of the original program that produces the same computations on a subset of selected variables and inputs. It differs from the static sliceExpand
  • 439
  • 25
Dynamic slicing of computer programs
Abstract Program slicing is a useful tool in program debugging [25, 26]. Dynamic slicing introduced in this paper differs from the original static slicing in that it is defined on the basis of aExpand
  • 236
  • 12
Black-box test reduction using input-output analysis
Test reduction is an important issue in black-box testing. The number of possible black-box tests for any non-trivial software application is extremely large. For the class of programs with multipleExpand
  • 116
  • 12
Model based regression test reduction using dependence analysis
Model based testing is a system testing technique used to test software systems modeled by formal description languages, e.g., an extended finite state machine (EFSM). System models are frequentlyExpand
  • 143
  • 11
Slicing of state-based models
System modeling is a widely used technique to model state-based systems. Several state-based languages are used to model such systems, e.g., EFSM (extended finite state machine), SDL (specificationExpand
  • 113
  • 10
A Data Flow Oriented Program Testing Strategy
  • J. Laski, B. Korel
  • Computer Science
  • IEEE Transactions on Software Engineering
  • 1 May 1983
Some properties of a program data flow can be used to guide program testing. The presented approach aims to exercise use-definition chains that appear in the program. Two such data oriented testingExpand
  • 290
  • 9
Automated test data generation for programs with procedures
  • B. Korel
  • Computer Science
  • ISSTA '96
  • 1 May 1996
Test data generation in program testing is the process of identifying a set of test data that satisfies a selected testing criterion, such as, statement coverage or branch coverage. The existingExpand
  • 159
  • 8
Assertion-oriented automated test data generation
  • B. Korel, A. Al-Yami
  • Computer Science
  • Proceedings of IEEE 18th International Conference…
  • 1 May 1996
Assertions are recognized as a powerful tool for automatic run time detection of software errors. However, existing testing methods do not use assertions to generate test cases. We present a novelExpand
  • 99
  • 8