Bogdan Korel

2008
45	EE	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
44	EE	Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat: Application of system models in regression test suite prioritization. ICSM 2008: 247-256
2007
43	EE	Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat: Model-based test prioritization heuristic methods and their evaluation. A-MOST 2007: 34-43
2006
42	EE	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)
41	EE	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)
2005
40	EE	Bogdan Korel, Luay Ho Tahat, Mark Harman: Test Prioritization Using System Models. ICSM 2005: 559-568
39	EE	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
38	EE	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
37	EE	Zakarya Alzamil, Bogdan Korel: Application of redundant computation in software performance analysis. WOSP 2005: 111-121
36	EE	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)
2004
35	EE	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
34	EE	Bogdan Korel, Luay Ho Tahat: Understanding Modifications in State-Based Models. IWPC 2004: 246-250
2003
33	EE	Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg: Slicing of State-Based Models. ICSM 2003: 34-43
2002
32	EE	Patrick J. Schroeder, Pat Faherty, Bogdan Korel: Generating Expected Results for Automated Black-Box Testing. ASE 2002: 139-148
31	EE	Bogdan Korel, Luay Ho Tahat, Boris Vaysburg: Model Based Regression Test Reduction Using Dependence Analysis. ICSM 2002: 214-
30	EE	Boris Vaysburg, Luay Ho Tahat, Bogdan Korel: Dependence analysis in reduction of requirement based test suites. ISSTA 2002: 107-111
2001
29	EE	Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel: Requirement-Based Automated Black-Box Test Generation. COMPSAC 2001: 489-495
2000
28	EE	Raymond Smith, Bogdan Korel: Slicing Event Traces of Large Software Systems. AADEBUG 2000
27	EE	Patrick J. Schroeder, Bogdan Korel: Black-box test reduction using input-output analysis. ISSTA 2000: 173-177
26		Zakarya Alzamil, Bogdan Korel: Redundant Computation and its Application in Software Performance Analysis. Int. CMG Conference 2000: 773-782
1999
25	EE	Bogdan Korel: Black-Box Understanding of COTS Components. IWPC 1999: 92-
1998
24	EE	Bogdan Korel, Ali M. Al-Yami: Automated Regression Test Generation. ISSTA 1998: 143-152
23	EE	Bogdan Korel, Juergen Rilling: Program Slicing in Understanding of Large Programs. IWPC 1998: 145-
22	EE	Bogdan Korel, Juergen Rilling: Dynamic program slicing methods. Information & Software Technology 40(11-12): 647-659 (1998)
1997
21	EE	Bogdan Korel, Juergen Rilling: Application of Dynamic Slicing in Program Debugging. AADEBUG 1997: 43-58
20	EE	Bogdan Korel, Juergen Rilling: Dynamic Program Slicing in Understanding of Program Execution. WPC 1997: 80-89
19	EE	Bogdan Korel: Computation of Dynamic Program Slices for Unstructured Programs. IEEE Trans. Software Eng. 23(1): 17-34 (1997)
1996
18	EE	Bogdan Korel, Ali M. Al-Yami: Assertion-Oriented Automated Test Data Generation. ICSE 1996: 71-80
17	EE	Bogdan Korel: Automated Test Data Generation for Programs with Procedures. ISSTA 1996: 209-215
16	EE	Roger Ferguson, Bogdan Korel: The Chaining Approach for Software Test Data Generation. ACM Trans. Softw. Eng. Methodol. 5(1): 63-86 (1996)
15	EE	Roger Ferguson, Bogdan Korel: Generating test data for distributed software using the chaining approach. Information & Software Technology 38(5): 343-353 (1996)
1995
14		Bogdan Korel: Computation Of Dynamic Slices For Programs With Arbitrary Control-Flow. AADEBUG 1995: 71-86
13		Roger Ferguson, Bogdan Korel: Software Test Data Generation Using the Chaining Approach. ITC 1995: 703-709
1994
12	EE	Bogdan Korel, Satish Yalamanchili: Forward Computation of Dynamic Program Slices. ISSTA 1994: 66-79
11		Horst Wedde, Bogdan Korel, Dorota M. Huizinga: Formal Timing Analysis for Distributed Real-Time Programs. Real-Time Systems 7(1): 57-90 (1994)
1993
10		Bogdan Korel: Identifying Faulty Modifications in Software Maintenance. AADEBUG 1993: 315-332
1992
9		Horst Wedde, Bogdan Korel, Dorota M. Huizinga: Formal Analysis of Waiting Times for Distributed Real-time Processes. ICDCS 1992: 478-485
8		Bogdan Korel: Dynamic Method of Software Test Data Generation. Softw. Test., Verif. Reliab. 2(4): 203-213 (1992)
1991
7	EE	Bogdan Korel, Horst Wedde, Srinivas Magaraj, Kalique Nawaz, Venugopal Dayana: Version Management in Distributed Network Environment. SCM 1991: 161-166
1990
6	EE	Bogdan Korel: Automated Software Test Data Generation. IEEE Trans. Software Eng. 16(8): 870-879 (1990)
5	EE	Bogdan Korel, Janusz W. Laski: Dynamic slicing of computer programs. Journal of Systems and Software 13(3): 187-195 (1990)
1988
4	EE	Bogdan Korel: PELAS - Program Error-Locating Assistant System. IEEE Trans. Software Eng. 14(9): 1253-1260 (1988)
3		Bogdan Korel, Janusz W. Laski: Dynamic Program Slicing. Inf. Process. Lett. 29(3): 155-163 (1988)
1987
2		Bogdan Korel: The Program Dependence Graph in Static Program Testing. Inf. Process. Lett. 24(2): 103-108 (1987)
1983
1		Janusz W. Laski, Bogdan Korel: A Data Flow Oriented Program Testing Strategy. IEEE Trans. Software Eng. 9(3): 347-354 (1983)

Coauthor Index

1	Ali M. Al-Yami	[18] [24]
2	Zakarya Alzamil	[26] [37]
3	P. Apirukvorapinit	[39]
4	Atef Bader	[29]
5	André Baresel	[35] [45]
6	David Binkley	[35] [38] [41] [42] [45]
7	S. Chung	[39]
8	Sebastian Danicic	[38] [41] [42]
9	Venugopal Dayana	[7]
10	Pat Faherty	[32]
11	Roger Ferguson	[13] [15] [16]
12	R. Gupta	[39]
13	Tibor Gyimóthy	[38] [41] [42]
14	Mark Harman	[35] [36] [38] [39] [40] [41] [42] [45]
15	Robert M. Hierons	[45]
16	Lin Hu	[45]
17	Dorota M. Huizinga	[9] [11]
18	Ákos Kiss	[38] [41] [42]
19	George Koutsogiannakis	[43] [44]
20	Janusz W. Laski	[1] [3] [5]
21	Panagiotis K. Linos	[36]
22	Srinivas Magaraj	[7]
23	Phil McMinn	[45]
24	Kalique Nawaz	[7]
25	Juergen Rilling	[20] [21] [22] [23]
26	Marc Roper	[45]
27	Patrick J. Schroeder	[27] [32]
28	Inderdeep Singh	[33]
29	Raymond Smith	[28]
30	Luay Ho Tahat	[29] [30] [31] [33] [34] [40] [43] [44]
31	Boris Vaysburg	[29] [30] [31] [33]
32	Horst F. Wedde (Horst Wedde)	[7] [9] [11]
33	Satish Yalamanchili	[12]
34	Q. Zhang	[39]

Colors in the list of coauthors