A Data Flow Oriented Program Testing Strategy. - Janusz W. Laski; Bogdan Korel (IEEE Trans. Software Eng., 1983)

The Program Dependence Graph in Static Program Testing. - Bogdan Korel (Inf. Process. Lett., 1987)

Dynamic Program Slicing. - Bogdan Korel; Janusz W. Laski (Inf. Process. Lett., 1988)

PELAS - Program Error-Locating Assistant System. - Bogdan Korel (IEEE Trans. Software Eng., 1988)

Transparent distributed object management under completely decentralized control. - Horst F. Wedde; Bogdan Korel; Willie G. Brown; Shengdong Chen (ICDCS, 1989)

Distributed management of replicated and partitioned files under DRAGON SLAYER. - Horst F. Wedde; Bogdan Korel; Willie G. Brown; Shengdong Chen (COMPSAC, 1990)

A dynamic approach of test data generation. - Bogdan Korel (ICSM, 1990)

Dynamic slicing of computer programs. - Bogdan Korel; Janusz W. Laski (J. Syst. Softw., 1990)

Automated Software Test Data Generation. - Bogdan Korel (IEEE Trans. Software Eng., 1990)

Automated test data generation for distributed software. - Bogdan Korel; Horst F. Wedde; Roger Ferguson 001 (COMPSAC, 1991)

Version Management in Distributed Network Environment. - Bogdan Korel; Horst F. Wedde; Srinivas Magaraj; Kalique Nawaz; Venugopal Dayana (SCM, 1991)

Formal Analysis of Waiting Times for Distributed Real-time Processes. - Horst F. Wedde; Bogdan Korel; Dorota M. Huizinga (ICDCS, 1992)

Dynamic method of test data generation for distributed software. - Bogdan Korel; Horst F. Wedde; Roger Ferguson 001 (Inf. Softw. Technol., 1992)

Dynamic Method of Software Test Data Generation. - Bogdan Korel (Softw. Test. Verification Reliab., 1992)

Identifying Faulty Modifications in Software Maintenance. - Bogdan Korel (AADEBUG, 1993)

Highly Integrated Task and Resource Scheduling for Mission-Critical Systems. - Horst F. Wedde; Bogdan Korel; Jon A. Lind (RTS, 1993)

Determining the worst-case blocking sequences for distributed real-time programs. - Horst F. Wedde; Bogdan Korel (RTS, 1994)

Forward Computation of Dynamic Program Slices. - Bogdan Korel; Satish Yalamanchili (ISSTA, 1994)

Formal Timing Analysis for Distributed Real-Time Programs. - Horst F. Wedde; Bogdan Korel; Dorota M. Huizinga (Real Time Syst., 1994)

Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. - Bogdan Korel (AADEBUG, 1995)

Software Test Data Generation Using the Chaining Approach. - Roger Ferguson 001; Bogdan Korel (ITC, 1995)

Assertion-Oriented Automated Test Data Generation. - Bogdan Korel; Ali M. Al-Yami (ICSE, 1996)

Automated Test Data Generation for Programs with Procedures. - Bogdan Korel (ISSTA, 1996)

Generating test data for distributed software using the chaining approach. - Roger Ferguson 001; Bogdan Korel (Inf. Softw. Technol., 1996)

The Chaining Approach for Software Test Data Generation. - Roger Ferguson 001; Bogdan Korel (ACM Trans. Softw. Eng. Methodol., 1996)

Application of Dynamic Slicing in Program Debugging. - Bogdan Korel; Juergen Rilling (AADEBUG, 1997)

Dynamic Program Slicing in Understanding of Program Execution. - Bogdan Korel; Juergen Rilling (WPC, 1997)

Computation of Dynamic Program Slices for Unstructured Programs. - Bogdan Korel (IEEE Trans. Software Eng., 1997)

Automated Regression Test Generation. - Bogdan Korel; Ali M. Al-Yami (ISSTA, 1998)

Program Slicing in Understanding of Large Programs. - Bogdan Korel; Juergen Rilling (IWPC, 1998)

Dynamic program slicing methods. - Bogdan Korel; Juergen Rilling (Inf. Softw. Technol., 1998)

Black-Box Understanding of COTS Components. - Bogdan Korel (IWPC, 1999)

Slicing Event Traces of Large Software Systems. - Raymond Smith; Bogdan Korel (AADEBUG, 2000)

Redundant Computation and its Application in Software Performance Analysis. - Zakarya A. Alzamil; Bogdan Korel (Int. CMG Conference, 2000)

Black-box test reduction using input-output analysis. - Patrick J. Schroeder; Bogdan Korel (ISSTA, 2000)

Requirement-Based Automated Black-Box Test Generation. - Luay Ho Tahat; Atef Bader; Boris Vaysburg; Bogdan Korel (COMPSAC, 2001)

Model Based Regression Test Reduction Using Dependence Analysis. - Bogdan Korel; Luay Ho Tahat; Boris Vaysburg (ICSM, 2002)

Dependence analysis in reduction of requirement based test suites. - Boris Vaysburg; Luay Ho Tahat; Bogdan Korel (ISSTA, 2002)

Generating Expected Results for Automated Black-Box Testing. - Patrick J. Schroeder; Pat Faherty; Bogdan Korel (ASE, 2002)

Slicing of State-Based Models. - Bogdan Korel; Inderdeep Singh; Luay Ho Tahat; Boris Vaysburg (ICSM, 2003)

Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. - André Baresel; David W. Binkley; Mark Harman; Bogdan Korel (ISSTA, 2004)

Understanding Modifications in State-Based Models. - Bogdan Korel; Luay Ho Tahat (IWPC, 2004)

Test Prioritization Using System Models. - Bogdan Korel; Luay Ho Tahat; Mark Harman (ICSM, 2005)

Data Dependence Based Testability Transformation in Automated Test Generation. - Bogdan Korel; Mark Harman; S. Chung; P. Apirukvorapinit; Rajiv Gupta 001; Q. Zhang (ISSRE, 2005)

Minimal Slicing and the Relationships Between Forms of Slicing. - David W. Binkley; Sebastian Danicic; Tibor Gyimóthy; Mark Harman; Ákos Kiss 001; Bogdan Korel (SCAM, 2005)

Application of redundant computation in software performance analysis. - Zakarya A. Alzamil; Bogdan Korel (WOSP, 2005)

Guest Editorial: Special Issue on Software Maintenance and Evolution. - Mark Harman; Bogdan Korel; Panagiotis K. Linos (IEEE Trans. Software Eng., 2005)

A formalisation of the relationship between forms of program slicing. - David W. Binkley; Sebastian Danicic; Tibor Gyimóthy; Mark Harman; Ákos Kiss 001; Bogdan Korel (Sci. Comput. Program., 2006)

Theoretical foundations of dynamic program slicing. - David W. Binkley; Sebastian Danicic; Tibor Gyimóthy; Mark Harman; Ákos Kiss 001; Bogdan Korel (Theor. Comput. Sci., 2006)

Model-based test prioritization heuristic methods and their evaluation. - Bogdan Korel; George Koutsogiannakis; Luay Ho Tahat (A-MOST, 2007)

Testability Transformation - Program Transformation to Improve Testability. - Mark Harman; André Baresel; David W. Binkley; Robert M. Hierons; Lin Hu 005; Bogdan Korel; Phil McMinn; Marc Roper (Formal Methods and Testing, 2008)

Application of system models in regression test suite prioritization. - Bogdan Korel; George Koutsogiannakis; Luay Ho Tahat (ICSM, 2008)

Experimental Comparison of Code-Based and Model-Based Test Prioritization. - Bogdan Korel; George Koutsogiannakis (ICST Workshops, 2009)

Assertion-Based Validation of Modified Programs. - Bogdan Korel; Qi Zhang; Li Tao (ICST, 2009)

Editorial for Special Issue of JASE on Source Code Analysis and Manipulation. - Michael W. Godfrey; Bogdan Korel (Autom. Softw. Eng., 2009)

Improving operation time bounded mission critical systems' attack-survivability through controlled source-code transformation. - Bogdan Korel; Shangping Ren; Kevin A. Kwiat; Arnaud Auguste; Alban Vignaux (SIN, 2011)

Regression test suite prioritization using system models. - Luay Ho Tahat; Bogdan Korel; Mark Harman; Hasan Ural (Softw. Test. Verification Reliab., 2012)

Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011). - Mark Harman; Bogdan Korel (Softw. Test. Verification Reliab., 2013)

Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011). - Mark Harman; Bogdan Korel (Softw. Test. Verification Reliab., 2013)

Improving System Reliability Against Rational Attacks Under Given Resources. - Li Wang 011; Shangping Ren; Bogdan Korel; Kevin A. Kwiat; Eric Salerno (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Toward automatically quantifying the impact of a change in systems. - Nada Almasri; Luay Tahat 001; Bogdan Korel (Softw. Qual. J., 2017)

State-based models in regression test suite prioritization. - Luay Tahat 001; Bogdan Korel; George Koutsogiannakis; Nada Almasri (Softw. Qual. J., 2017)

Automatically quantifying the impact of a change in systems (journal-first abstract). - Nada Almasri; Luay Tahat 001; Bogdan Korel (ASE, 2018)

Towards Minimizing the Impact of Changes Using Search-Based Approach. - Bogdan Korel; Nada Almasri; Luay Tahat 001 (SSBSE, 2018)

Source Code Transformations for Improving Security of Time-bounded K-variant Systems. - Berk Bekiroglu; Bogdan Korel (Inf. Softw. Technol., 2021)

Survivability Analysis of K-Variant Architecture for Different Memory Attacks and Defense Strategies. - Berk Bekiroglu; Bogdan Korel (IEEE Trans. Dependable Secur. Comput., 2021)

Verification Approach for Refactoring Transformation Rules of State-Based Models. - Nada Almasri; Bogdan Korel; Luay Tahat 001 (IEEE Trans. Software Eng., 2022)

Neural Network-based Tool for Survivability Assessment of K-variant Systems. - Berk Bekiroglu; Bogdan Korel (Int. J. Artif. Intell. Tools, 2023)