Bogdan Korel

Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural: Regression test suite prioritization using system models. Softw. Test., Verif. Reliab. 22(7): 481-506 (2012)

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

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

Bogdan Korel, George Koutsogiannakis: Experimental Comparison of Code-Based and Model-Based Test Prioritization. ICST Workshops 2009: 77-84

Bogdan Korel, Qi Zhang, Li Tao: Assertion-Based Validation of Modified Programs. ICST 2009: 426-435

Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper: Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing 2008: 320-344

Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat: Application of system models in regression test suite prioritization. ICSM 2008: 247-256

Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat: Model-based test prioritization heuristic methods and their evaluation. A-MOST 2007: 34-43

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

David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. 360(1-3): 23-41 (2006)

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

Bogdan Korel, Luay Ho Tahat, Mark Harman: Test Prioritization Using System Models. ICSM 2005: 559-568

Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, R. Gupta, Q. Zhang: Data Dependence Based Testability Transformation in Automated Test Generation. ISSRE 2005: 245-254

David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel: Minimal Slicing and the Relationships Between Forms of Slicing. SCAM 2005: 45-56

Zakarya Alzamil, Bogdan Korel: Application of redundant computation in software performance analysis. WOSP 2005: 111-121

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

Bogdan Korel, Luay Ho Tahat: Understanding Modifications in State-Based Models. IWPC 2004: 246-250

Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg: Slicing of State-Based Models. ICSM 2003: 34-43

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

Boris Vaysburg, Luay Ho Tahat, Bogdan Korel: Dependence analysis in reduction of requirement based test suites. ISSTA 2002: 107-111

Patrick J. Schroeder, Pat Faherty, Bogdan Korel: Generating Expected Results for Automated Black-Box Testing. ASE 2002: 139-148

Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel: Requirement-Based Automated Black-Box Test Generation. COMPSAC 2001: 489-495

Raymond Smith, Bogdan Korel: Slicing Event Traces of Large Software Systems. AADEBUG 2000

Zakarya Alzamil, Bogdan Korel: Redundant Computation and its Application in Software Performance Analysis. Int. CMG Conference 2000: 773-782

Patrick J. Schroeder, Bogdan Korel: Black-box test reduction using input-output analysis. ISSTA 2000: 173-177

Bogdan Korel: Black-Box Understanding of COTS Components. IWPC 1999: 92-

Bogdan Korel, Juergen Rilling: Dynamic program slicing methods. Information & Software Technology 40(11-12): 647-659 (1998)

Bogdan Korel, Ali M. Al-Yami: Automated Regression Test Generation. ISSTA 1998: 143-152

Bogdan Korel, Juergen Rilling: Program Slicing in Understanding of Large Programs. IWPC 1998: 145-

Bogdan Korel: Computation of Dynamic Program Slices for Unstructured Programs. IEEE Trans. Software Eng. 23(1): 17-34 (1997)

Bogdan Korel, Juergen Rilling: Application of Dynamic Slicing in Program Debugging. AADEBUG 1997: 43-58

Bogdan Korel, Juergen Rilling: Dynamic Program Slicing in Understanding of Program Execution. WPC 1997: 80-89

Roger Ferguson, Bogdan Korel: Generating test data for distributed software using the chaining approach. Information & Software Technology 38(5): 343-353 (1996)

Roger Ferguson, Bogdan Korel: The Chaining Approach for Software Test Data Generation. ACM Trans. Softw. Eng. Methodol. 5(1): 63-86 (1996)

Bogdan Korel, Ali M. Al-Yami: Assertion-Oriented Automated Test Data Generation. ICSE 1996: 71-80

Bogdan Korel: Automated Test Data Generation for Programs with Procedures. ISSTA 1996: 209-215

Bogdan Korel: Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. AADEBUG 1995: 71-86

Roger Ferguson, Bogdan Korel: Software Test Data Generation Using the Chaining Approach. ITC 1995: 703-709

Horst Wedde, Bogdan Korel, Dorota M. Huizinga: Formal Timing Analysis for Distributed Real-Time Programs. Real-Time Systems 7(1): 57-90 (1994)

Bogdan Korel, Satish Yalamanchili: Forward Computation of Dynamic Program Slices. ISSTA 1994: 66-79

Bogdan Korel: Identifying Faulty Modifications in Software Maintenance. AADEBUG 1993: 315-332

Bogdan Korel: Dynamic Method of Software Test Data Generation. Softw. Test., Verif. Reliab. 2(4): 203-213 (1992)

Horst Wedde, Bogdan Korel, Dorota M. Huizinga: Formal Analysis of Waiting Times for Distributed Real-time Processes. ICDCS 1992: 478-485

Bogdan Korel, Horst Wedde, Srinivas Magaraj, Kalique Nawaz, Venugopal Dayana: Version Management in Distributed Network Environment. SCM 1991: 161-166

Bogdan Korel, Janusz W. Laski: Dynamic slicing of computer programs. Journal of Systems and Software 13(3): 187-195 (1990)

Bogdan Korel: Automated Software Test Data Generation. IEEE Trans. Software Eng. 16(8): 870-879 (1990)

Bogdan Korel, Janusz W. Laski: Dynamic Program Slicing. Inf. Process. Lett. 29(3): 155-163 (1988)

Bogdan Korel: PELAS - Program Error-Locating Assistant System. IEEE Trans. Software Eng. 14(9): 1253-1260 (1988)

Bogdan Korel: The Program Dependence Graph in Static Program Testing. Inf. Process. Lett. 24(2): 103-108 (1987)

Janusz W. Laski, Bogdan Korel: A Data Flow Oriented Program Testing Strategy. IEEE Trans. Software Eng. 9(3): 347-354 (1983)