Bogdan Korel - RankMe

69 papers A* 3A 11B 4C 2Journal 28Unranked 21

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