Bogdan Korel

	2011
48		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
	2009
47		Bogdan Korel, Qi Zhang, Li Tao: Assertion-Based Validation of Modified Programs. ICST 2009: 426-435
46		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)
	2008
45		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		Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat: Application of system models in regression test suite prioritization. ICSM 2008: 247-256
	2007
43		Bogdan Korel, George Koutsogiannakis, Luay Ho Tahat: Model-based test prioritization heuristic methods and their evaluation. A-MOST 2007: 34-43
	2006
42		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		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		Bogdan Korel, Luay Ho Tahat, Mark Harman: Test Prioritization Using System Models. ICSM 2005: 559-568
39		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		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		Zakarya Alzamil, Bogdan Korel: Application of redundant computation in software performance analysis. WOSP 2005: 111-121
36		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		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		Bogdan Korel, Luay Ho Tahat: Understanding Modifications in State-Based Models. IWPC 2004: 246-250
	2003
33		Bogdan Korel, Inderdeep Singh, Luay Ho Tahat, Boris Vaysburg: Slicing of State-Based Models. ICSM 2003: 34-43
	2002
32		Patrick J. Schroeder, Pat Faherty, Bogdan Korel: Generating Expected Results for Automated Black-Box Testing. ASE 2002: 139-148
31		Bogdan Korel, Luay Ho Tahat, Boris Vaysburg: Model Based Regression Test Reduction Using Dependence Analysis. ICSM 2002: 214-
30		Boris Vaysburg, Luay Ho Tahat, Bogdan Korel: Dependence analysis in reduction of requirement based test suites. ISSTA 2002: 107-111
	2001
29		Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel: Requirement-Based Automated Black-Box Test Generation. COMPSAC 2001: 489-495
	2000
28		Raymond Smith, Bogdan Korel: Slicing Event Traces of Large Software Systems. AADEBUG 2000
27		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		Bogdan Korel: Black-Box Understanding of COTS Components. IWPC 1999: 92-
	1998
24		Bogdan Korel, Ali M. Al-Yami: Automated Regression Test Generation. ISSTA 1998: 143-152
23		Bogdan Korel, Juergen Rilling: Program Slicing in Understanding of Large Programs. IWPC 1998: 145-
22		Bogdan Korel, Juergen Rilling: Dynamic program slicing methods. Information & Software Technology 40(11-12): 647-659 (1998)
	1997
21		Bogdan Korel, Juergen Rilling: Application of Dynamic Slicing in Program Debugging. AADEBUG 1997: 43-58
20		Bogdan Korel, Juergen Rilling: Dynamic Program Slicing in Understanding of Program Execution. WPC 1997: 80-89
19		Bogdan Korel: Computation of Dynamic Program Slices for Unstructured Programs. IEEE Trans. Software Eng. 23(1): 17-34 (1997)
	1996
18		Bogdan Korel, Ali M. Al-Yami: Assertion-Oriented Automated Test Data Generation. ICSE 1996: 71-80
17		Bogdan Korel: Automated Test Data Generation for Programs with Procedures. ISSTA 1996: 209-215
16		Roger Ferguson, Bogdan Korel: The Chaining Approach for Software Test Data Generation. ACM Trans. Softw. Eng. Methodol. 5(1): 63-86 (1996)
15		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		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		Bogdan Korel, Horst Wedde, Srinivas Magaraj, Kalique Nawaz, Venugopal Dayana: Version Management in Distributed Network Environment. SCM 1991: 161-166
	1990
6		Bogdan Korel: Automated Software Test Data Generation. IEEE Trans. Software Eng. 16(8): 870-879 (1990)
5		Bogdan Korel, Janusz W. Laski: Dynamic slicing of computer programs. Journal of Systems and Software 13(3): 187-195 (1990)
	1988
4		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	Arnaud Auguste	[48]
5	Atef Bader	[29]
6	André Baresel	[35] [45]
7	David Binkley	[35] [38] [41] [42] [45]
8	S. Chung	[39]
9	Sebastian Danicic	[38] [41] [42]
10	Venugopal Dayana	[7]
11	Pat Faherty	[32]
12	Roger Ferguson	[13] [15] [16]
13	Michael W. Godfrey	[46]
14	R. Gupta	[39]
15	Tibor Gyimóthy	[38] [41] [42]
16	Mark Harman	[35] [36] [38] [39] [40] [41] [42] [45]
17	Robert M. Hierons	[45]
18	Lin Hu	[45]
19	Dorota M. Huizinga	[9] [11]
20	Ákos Kiss	[38] [41] [42]
21	George Koutsogiannakis	[43] [44]
22	Kevin A. Kwiat	[48]
23	Janusz W. Laski	[1] [3] [5]
24	Panagiotis K. Linos	[36]
25	Srinivas Magaraj	[7]
26	Phil McMinn	[45]
27	Kalique Nawaz	[7]
28	Shangping Ren	[48]
29	Juergen Rilling	[20] [21] [22] [23]
30	Marc Roper	[45]
31	Patrick J. Schroeder	[27] [32]
32	Inderdeep Singh	[33]
33	Raymond Smith	[28]
34	Luay Ho Tahat	[29] [30] [31] [33] [34] [40] [43] [44]
35	Li Tao	[47]
36	Boris Vaysburg	[29] [30] [31] [33]
37	Alban Vignaux	[48]
38	Horst F. Wedde (Horst Wedde)	[7] [9] [11]
39	Satish Yalamanchili	[12]
40	Q. Zhang	[39]
41	Qi Zhang	[47]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page