Bogdan Korel

Publication Activity (10 Years)

Years Active: 1983-2023
Publications (10 Years): 8

Top Topics

Software Testing

Selected Papers

Top Venues

Softw. Test. Verification Reliab.

Softw. Qual. J.

Inf. Softw. Technol.

Publications

Berk Bekiroglu, Bogdan Korel
Neural Network-based Tool for Survivability Assessment of K-variant Systems. Int. J. Artif. Intell. Tools 32 (4) (2023)
Nada Almasri, Bogdan Korel, Luay Tahat
Verification Approach for Refactoring Transformation Rules of State-Based Models. IEEE Trans. Software Eng. 48 (10) (2022)
Berk Bekiroglu, Bogdan Korel
Survivability Analysis of K-Variant Architecture for Different Memory Attacks and Defense Strategies. IEEE Trans. Dependable Secur. Comput. 18 (4) (2021)
Berk Bekiroglu, Bogdan Korel
Source Code Transformations for Improving Security of Time-bounded K-variant Systems. Inf. Softw. Technol. 137 (2021)
Nada Almasri, Luay Tahat, Bogdan Korel
Automatically quantifying the impact of a change in systems (journal-first abstract). ASE (2018)
Bogdan Korel, Nada Almasri, Luay Tahat
Towards Minimizing the Impact of Changes Using Search-Based Approach. SSBSE (2018)
Luay Tahat, Bogdan Korel, George Koutsogiannakis, Nada Almasri
State-based models in regression test suite prioritization. Softw. Qual. J. 25 (3) (2017)
Nada Almasri, Luay Tahat, Bogdan Korel
Toward automatically quantifying the impact of a change in systems. Softw. Qual. J. 25 (3) (2017)
Li Wang, Shangping Ren, Bogdan Korel, Kevin A. Kwiat, Eric Salerno
Improving System Reliability Against Rational Attacks Under Given Resources. IEEE Trans. Syst. Man Cybern. Syst. 44 (4) (2014)
Mark Harman, Bogdan Korel
Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011). Softw. Test. Verification Reliab. 23 (7) (2013)
Mark Harman, Bogdan Korel
Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011). Softw. Test. Verification Reliab. 23 (6) (2013)
Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural
Regression test suite prioritization using system models. Softw. Test. Verification Reliab. 22 (7) (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)
Bogdan Korel, Qi Zhang, Li Tao
Assertion-Based Validation of Modified Programs. ICST (2009)
Michael W. Godfrey, Bogdan Korel
Editorial for Special Issue of JASE on Source Code Analysis and Manipulation. Autom. Softw. Eng. 16 (2) (2009)
Bogdan Korel, George Koutsogiannakis
Experimental Comparison of Code-Based and Model-Based Test Prioritization. ICST Workshops (2009)
Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper
Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing (2008)
Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat
Application of system models in regression test suite prioritization. ICSM (2008)
Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat
Model-based test prioritization heuristic methods and their evaluation. A-MOST (2007)
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
Theoretical foundations of dynamic program slicing. Theor. Comput. Sci. 360 (1-3) (2006)
David W. 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) (2006)
Zakarya A. Alzamil, Bogdan Korel
Application of redundant computation in software performance analysis. WOSP (2005)
David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
Minimal Slicing and the Relationships Between Forms of Slicing. SCAM (2005)
Mark Harman, Bogdan Korel, Panagiotis K. Linos
Guest Editorial: Special Issue on Software Maintenance and Evolution. IEEE Trans. Software Eng. 31 (10) (2005)
Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta, Q. Zhang
Data Dependence Based Testability Transformation in Automated Test Generation. ISSRE (2005)
Bogdan Korel, Luay Ho Tahat, Mark Harman
Test Prioritization Using System Models. ICSM (2005)
Bogdan Korel, Luay Ho Tahat
Understanding Modifications in State-Based Models. IWPC (2004)
André Baresel, David W. Binkley, Mark Harman, Bogdan Korel
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. ISSTA (2004)
Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg
Slicing of State-Based Models. ICSM (2003)
Patrick J. Schroeder, Pat Faherty, Bogdan Korel
Generating Expected Results for Automated Black-Box Testing. ASE (2002)
Bogdan Korel, Luay Ho Tahat, Boris Vaysburg
Model Based Regression Test Reduction Using Dependence Analysis. ICSM (2002)
Boris Vaysburg, Luay Ho Tahat, Bogdan Korel
Dependence analysis in reduction of requirement based test suites. ISSTA (2002)
Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel
Requirement-Based Automated Black-Box Test Generation. COMPSAC (2001)
Patrick J. Schroeder, Bogdan Korel
Black-box test reduction using input-output analysis. ISSTA (2000)
Raymond Smith, Bogdan Korel
Slicing Event Traces of Large Software Systems. AADEBUG (2000)
Zakarya A. Alzamil, Bogdan Korel
Redundant Computation and its Application in Software Performance Analysis. Int. CMG Conference (2000)
Bogdan Korel
Black-Box Understanding of COTS Components. IWPC (1999)
Bogdan Korel, Juergen Rilling
Program Slicing in Understanding of Large Programs. IWPC (1998)
Bogdan Korel, Ali M. Al-Yami
Automated Regression Test Generation. ISSTA (1998)
Bogdan Korel, Juergen Rilling
Dynamic program slicing methods. Inf. Softw. Technol. 40 (11-12) (1998)
Bogdan Korel, Juergen Rilling
Dynamic Program Slicing in Understanding of Program Execution. WPC (1997)
Bogdan Korel, Juergen Rilling
Application of Dynamic Slicing in Program Debugging. AADEBUG (1997)
Bogdan Korel
Computation of Dynamic Program Slices for Unstructured Programs. IEEE Trans. Software Eng. 23 (1) (1997)
Bogdan Korel
Automated Test Data Generation for Programs with Procedures. ISSTA (1996)
Roger Ferguson, Bogdan Korel
The Chaining Approach for Software Test Data Generation. ACM Trans. Softw. Eng. Methodol. 5 (1) (1996)
Bogdan Korel, Ali M. Al-Yami
Assertion-Oriented Automated Test Data Generation. ICSE (1996)
Roger Ferguson, Bogdan Korel
Generating test data for distributed software using the chaining approach. Inf. Softw. Technol. 38 (5) (1996)
Bogdan Korel
Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. AADEBUG (1995)
Roger Ferguson, Bogdan Korel
Software Test Data Generation Using the Chaining Approach. ITC (1995)
Horst F. Wedde, Bogdan Korel
Determining the worst-case blocking sequences for distributed real-time programs. RTS (1994)
Bogdan Korel, Satish Yalamanchili
Forward Computation of Dynamic Program Slices. ISSTA (1994)
Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga
Formal Timing Analysis for Distributed Real-Time Programs. Real Time Syst. 7 (1) (1994)
Horst F. Wedde, Bogdan Korel, Jon A. Lind
Highly Integrated Task and Resource Scheduling for Mission-Critical Systems. RTS (1993)
Bogdan Korel
Identifying Faulty Modifications in Software Maintenance. AADEBUG (1993)
Bogdan Korel, Horst F. Wedde, Roger Ferguson
Dynamic method of test data generation for distributed software. Inf. Softw. Technol. 34 (8) (1992)
Bogdan Korel
Dynamic Method of Software Test Data Generation. Softw. Test. Verification Reliab. 2 (4) (1992)
Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga
Formal Analysis of Waiting Times for Distributed Real-time Processes. ICDCS (1992)
Bogdan Korel, Horst F. Wedde, Srinivas Magaraj, Kalique Nawaz, Venugopal Dayana
Version Management in Distributed Network Environment. SCM (1991)
Bogdan Korel, Horst F. Wedde, Roger Ferguson
Automated test data generation for distributed software. COMPSAC (1991)
Bogdan Korel, Janusz W. Laski
Dynamic slicing of computer programs. J. Syst. Softw. 13 (3) (1990)
Bogdan Korel
Automated Software Test Data Generation. IEEE Trans. Software Eng. 16 (8) (1990)
Bogdan Korel
A dynamic approach of test data generation. ICSM (1990)
Horst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen
Distributed management of replicated and partitioned files under DRAGON SLAYER. COMPSAC (1990)
Horst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen
Transparent distributed object management under completely decentralized control. ICDCS (1989)
Bogdan Korel
PELAS - Program Error-Locating Assistant System. IEEE Trans. Software Eng. 14 (9) (1988)
Bogdan Korel, Janusz W. Laski
Dynamic Program Slicing. Inf. Process. Lett. 29 (3) (1988)
Bogdan Korel
The Program Dependence Graph in Static Program Testing. Inf. Process. Lett. 24 (2) (1987)
Janusz W. Laski, Bogdan Korel
A Data Flow Oriented Program Testing Strategy. IEEE Trans. Software Eng. 9 (3) (1983)