Bogdan Korel

According to our database, Bogdan Korel authored at least 68 papers between 1983 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Neural Network-based Tool for Survivability Assessment of K-variant Systems.

Berk Bekiroglu, Bogdan Korel

Int. J. Artif. Intell. Tools, June, 2023

2022

Verification Approach for Refactoring Transformation Rules of State-Based Models.

Nada Almasri, Bogdan Korel, Luay Tahat

IEEE Trans. Software Eng., 2022

2021

Survivability Analysis of K-Variant Architecture for Different Memory Attacks and Defense Strategies.

Berk Bekiroglu, Bogdan Korel

IEEE Trans. Dependable Secur. Comput., 2021

Source Code Transformations for Improving Security of Time-bounded K-variant Systems.

Berk Bekiroglu, Bogdan Korel

Inf. Softw. Technol., 2021

2018

Towards Minimizing the Impact of Changes Using Search-Based Approach.

Bogdan Korel, Nada Almasri, Luay Tahat

Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

Automatically quantifying the impact of a change in systems (journal-first abstract).

Nada Almasri, Luay Tahat, Bogdan Korel

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017

State-based models in regression test suite prioritization.

Luay Tahat, Bogdan Korel, George Koutsogiannakis, Nada Almasri

Softw. Qual. J., 2017

Toward automatically quantifying the impact of a change in systems.

Nada Almasri, Luay Tahat, Bogdan Korel

Softw. Qual. J., 2017

2014

Improving System Reliability Against Rational Attacks Under Given Resources.

Li Wang, Shangping Ren, Bogdan Korel, Kevin A. Kwiat, Eric Salerno

IEEE Trans. Syst. Man Cybern. Syst., 2014

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

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

2012

Regression test suite prioritization using system models.

Luay Ho Tahat, Bogdan Korel, Mark Harman, Hasan Ural

Softw. Test. Verification Reliab., 2012

2011

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

Proceedings of the 4th International Conference on Security of Information and Networks, 2011

2009

Editorial for Special Issue of JASE on Source Code Analysis and Manipulation.

Michael W. Godfrey, Bogdan Korel

Autom. Softw. Eng., 2009

Assertion-Based Validation of Modified Programs.

Bogdan Korel, Qi Zhang, Li Tao

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Experimental Comparison of Code-Based and Model-Based Test Prioritization.

Bogdan Korel, George Koutsogiannakis

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

Application of system models in regression test suite prioritization.

Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat

Proceedings of the 24th IEEE International Conference on Software Maintenance (ICSM 2008), September 28, 2008

Testability Transformation - Program Transformation to Improve Testability.

Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper

Proceedings of the Formal Methods and Testing, 2008

2007

Model-based test prioritization heuristic methods and their evaluation.

Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Theoretical foundations of dynamic program slicing.

David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel

Theor. Comput. Sci., 2006

A formalisation of the relationship between forms of program slicing.

David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel

Sci. Comput. Program., 2006

2005

Guest Editorial: Special Issue on Software Maintenance and Evolution.

Mark Harman, Bogdan Korel, Panagiotis K. Linos

IEEE Trans. Software Eng., 2005

Application of redundant computation in software performance analysis.

Zakarya A. Alzamil, Bogdan Korel

Proceedings of the Fifth International Workshop on Software and Performance, 2005

Minimal Slicing and the Relationships Between Forms of Slicing.

David W. Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Data Dependence Based Testability Transformation in Automated Test Generation.

Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta, Q. Zhang

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Test Prioritization Using System Models.

Bogdan Korel, Luay Ho Tahat, Mark Harman

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2004

Understanding Modifications in State-Based Models.

Bogdan Korel, Luay Ho Tahat

Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

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

André Baresel, David W. Binkley, Mark Harman, Bogdan Korel

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Slicing of State-Based Models.

Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

2002

Generating Expected Results for Automated Black-Box Testing.

Patrick J. Schroeder, Pat Faherty, Bogdan Korel

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Dependence analysis in reduction of requirement based test suites.

Boris Vaysburg, Luay Ho Tahat, Bogdan Korel

Proceedings of the International Symposium on Software Testing and Analysis, 2002

Model Based Regression Test Reduction Using Dependence Analysis.

Bogdan Korel, Luay Ho Tahat, Boris Vaysburg

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001

Requirement-Based Automated Black-Box Test Generation.

Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000

Black-box test reduction using input-output analysis.

Patrick J. Schroeder, Bogdan Korel

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Redundant Computation and its Application in Software Performance Analysis.

Zakarya A. Alzamil, Bogdan Korel

Proceedings of the 26th International Computer Measurement Group Conference, 2000

Slicing Event Traces of Large Software Systems.

Raymond Smith, Bogdan Korel

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1999

Black-Box Understanding of COTS Components.

Bogdan Korel

Proceedings of the 7th International Workshop on Program Comprehension (IWPC '99), May 5-7, 1999, 1999

1998

Dynamic program slicing methods.

Bogdan Korel, Juergen Rilling

Inf. Softw. Technol., 1998

Program Slicing in Understanding of Large Programs.

Bogdan Korel, Juergen Rilling

Proceedings of the 6th International Workshop on Program Comprehension (IWPC '98), 1998

Automated Regression Test Generation.

Bogdan Korel, Ali M. Al-Yami

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

Computation of Dynamic Program Slices for Unstructured Programs.

Bogdan Korel

IEEE Trans. Software Eng., 1997

Dynamic Program Slicing in Understanding of Program Execution.

Bogdan Korel, Juergen Rilling

Proceedings of the 5th International Workshop on Program Comprehension (WPC '97), May 28-30, 1997, 1997

Application of Dynamic Slicing in Program Debugging.

Bogdan Korel, Juergen Rilling

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

The Chaining Approach for Software Test Data Generation.

Roger Ferguson, Bogdan Korel

ACM Trans. Softw. Eng. Methodol., 1996

Generating test data for distributed software using the chaining approach.

Roger Ferguson, Bogdan Korel

Inf. Softw. Technol., 1996

Automated Test Data Generation for Programs with Procedures.

Bogdan Korel

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

Assertion-Oriented Automated Test Data Generation.

Bogdan Korel, Ali M. Al-Yami

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Software Test Data Generation Using the Chaining Approach.

Roger Ferguson, Bogdan Korel

Proceedings of the Proceedings IEEE International Test Conference 1995, 1995

Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow.

Bogdan Korel

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Formal Timing Analysis for Distributed Real-Time Programs.

Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga

Real Time Syst., 1994

Forward Computation of Dynamic Program Slices.

Bogdan Korel, Satish Yalamanchili

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Determining the worst-case blocking sequences for distributed real-time programs.

Horst F. Wedde, Bogdan Korel

Proceedings of the Sixth Euromicro Workshop on Real-Time Systems, 1994

1993

Highly Integrated Task and Resource Scheduling for Mission-Critical Systems.

Horst F. Wedde, Bogdan Korel, Jon A. Lind

Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

Identifying Faulty Modifications in Software Maintenance.

Bogdan Korel

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

Dynamic Method of Software Test Data Generation.

Bogdan Korel

Softw. Test. Verification Reliab., 1992

Dynamic method of test data generation for distributed software.

Bogdan Korel, Horst F. Wedde, Roger Ferguson

Inf. Softw. Technol., 1992

Formal Analysis of Waiting Times for Distributed Real-time Processes.

Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga

Proceedings of the 12th International Conference on Distributed Computing Systems, 1992

1991

Version Management in Distributed Network Environment.

Bogdan Korel, Horst F. Wedde, Srinivas Magaraj, Kalique Nawaz, Venugopal Dayana

Proceedings of the 3rd International Workshop on Software Configuration Management, 1991

Automated test data generation for distributed software.

Bogdan Korel, Horst F. Wedde, Roger Ferguson

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Automated Software Test Data Generation.

Bogdan Korel

IEEE Trans. Software Eng., 1990

Dynamic slicing of computer programs.

Bogdan Korel, Janusz W. Laski

J. Syst. Softw., 1990

A dynamic approach of test data generation.

Bogdan Korel

Proceedings of the Conference on Software Maintenance, 1990

Distributed management of replicated and partitioned files under DRAGON SLAYER.

Horst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen

Proceedings of the Fourteenth Annual International Computer Software and Applications Conference, 1990

1989

Transparent distributed object management under completely decentralized control.

Horst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988

PELAS - Program Error-Locating Assistant System.

Bogdan Korel

IEEE Trans. Software Eng., 1988

Dynamic Program Slicing.

Bogdan Korel, Janusz W. Laski

Inf. Process. Lett., 1988

1987

The Program Dependence Graph in Static Program Testing.

Bogdan Korel

Inf. Process. Lett., 1987

1983

A Data Flow Oriented Program Testing Strategy.

Janusz W. Laski, Bogdan Korel

IEEE Trans. Software Eng., 1983