| 2018 | SSBSE | Towards Minimizing the Impact of Changes Using Search-Based Approach. | Bogdan Korel, Nada Almasri, Luay Tahat |
| 2011 | SIN | 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 |
| 2009 | ICST | Experimental Comparison of Code-Based and Model-Based Test Prioritization. | Bogdan Korel, George Koutsogiannakis |
| 2009 | ICST | Assertion-Based Validation of Modified Programs. | Bogdan Korel, Qi Zhang, Li Tao |
| 2005 | ISSRE | Data Dependence Based Testability Transformation in Automated Test Generation. | Bogdan Korel, Mark Harman, S. Chung, P. Apirukvorapinit, Rajiv Gupta, Q. Zhang |
| 2005 | SCAM | Minimal Slicing and the Relationships Between Forms of Slicing. | David W. Binkley, Sebastian Danicic, Tibor Gyimthy, Mark Harman, kos Kiss, Bogdan Korel |
| 2004 | ISSTA | Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. | Andr Baresel, David W. Binkley, Mark Harman, Bogdan Korel |
| 2002 | ISSTA | Dependence analysis in reduction of requirement based test suites. | Boris Vaysburg, Luay Ho Tahat, Bogdan Korel |
| 2001 | COMPSAC | Requirement-Based Automated Black-Box Test Generation. | Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel |
| 2000 | ISSTA | Black-box test reduction using input-output analysis. | Patrick J. Schroeder, Bogdan Korel |
| 1998 | ISSTA | Automated Regression Test Generation. | Bogdan Korel, Ali M. Al-Yami |
| 1996 | ICSE | Assertion-Oriented Automated Test Data Generation. | Bogdan Korel, Ali M. Al-Yami |
| 1996 | ISSTA | Automated Test Data Generation for Programs with Procedures. | Bogdan Korel |
| 1995 | ITC | Software Test Data Generation Using the Chaining Approach. | Roger Ferguson, Bogdan Korel |
| 1994 | ECRTS | Determining the worst-case blocking sequences for distributed real-time programs. | Horst F. Wedde, Bogdan Korel |
| 1994 | ISSTA | Forward Computation of Dynamic Program Slices. | Bogdan Korel, Satish Yalamanchili |
| 1993 | ECRTS | Highly Integrated Task and Resource Scheduling for Mission-Critical Systems. | Horst F. Wedde, Bogdan Korel, Jon A. Lind |
| 1992 | ICDCS | Formal Analysis of Waiting Times for Distributed Real-time Processes. | Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga |
| 1991 | COMPSAC | Automated test data generation for distributed software. | Bogdan Korel, Horst F. Wedde, Roger Ferguson |
| 1990 | COMPSAC | Distributed management of replicated and partitioned files under DRAGON SLAYER. | Horst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen |
| 1989 | ICDCS | Transparent distributed object management under completely decentralized control. | Horst F. Wedde, Bogdan Korel, Willie G. Brown, Shengdong Chen |