Bogdan Korel

Best Publications

• Automated software test data generation

  Unknown

  964
  Citations

• Dynamic program slicing

  Unknown

  761
  Citations

• The chaining approach for software test data generation

  Unknown

  360
  Citations

• A Data Flow Oriented Program Testing Strategy

  Unknown

  349
  Citations

• Dynamic slicing of computer programs

  Unknown

  246
  Citations

• Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach

  André Baresel;David Binkley;Mark Harman;Bogdan Korel

  154
  Citations

• Test prioritization using system models

  B. Korel;L.H. Tahat;M. Harman

  154
  Citations

• Model based regression test reduction using dependence analysis

  Unknown

  147
  Citations

• Automated test data generation for programs with procedures

  Unknown

  121
  Citations

• Slicing of state-based models

  Unknown

  108
  Citations

• Black-box test reduction using input-output analysis

  Unknown

  100
  Citations

• Requirement-based automated black-box test generation

  Unknown

  97
  Citations

• PELAS-program error-locating assistant system

  Unknown

  94
  Citations

• Forward computation of dynamic program slices

  Unknown

  94
  Citations

• Dynamic method for software test data generation

  Unknown

  87
  Citations

• Model-based test prioritization heuristic methods and their evaluation

  Unknown

  86
  Citations

• Application of system models in regression test suite prioritization

  Unknown

  85
  Citations

• The program dependence graph in static program testing

  Unknown

  84
  Citations

• Dynamic program slicing methods

  Unknown

  83
  Citations

• Automated test data generation for programs with procedures

  Unknown

  80
  Citations