Search Results - "Korel, Bogdan"

Source Code Transformations for Improving Security of Time-bounded K-variant Systems by Bekiroglu, Berk, Korel, Bogdan

“…Source code transformation techniques can improve the security of systems against memory exploitation attacks. As such, the chance of exploitation of security…”
Get full text

Verification Approach for Refactoring Transformation Rules of State-Based Models by Almasri, Nada, Korel, Bogdan, Tahat, Luay

“…With the increased adoption of Model-Driven Engineering (MDE), where models are being used as the primary artifact of software, it is apparent that greater…”
Get full text

Survivability Analysis of K-Variant Architecture for Different Memory Attacks and Defense Strategies by Bekiroglu, Berk, Korel, Bogdan

“…Many systems require high security during a limited operational timeframe. These systems can be exposed to many attacks that prevent tasks from being…”
Get full text

Toward automatically quantifying the impact of a change in systems by Almasri, Nada, Tahat, Luay, Korel, Bogdan

“…Software maintenance is becoming more challenging with the increased complexity of the software and the frequently applied changes. Performing impact analysis…”
Get full text

State-based models in regression test suite prioritization by Tahat, Luay, Korel, Bogdan, Koutsogiannakis, George, Almasri, Nada

“…Testing software products is very expensive and time consuming, especially for large software systems with extensive regression testing. During regression…”
Get full text

Editorial for special issue of STVR on software testing, verification, and validation - volume 2 (extended selected papers from ICST 2011) by Harman, Mark, Korel, Bogdan

Get full text

Editorial for special issue of STVR on software testing, verification, and validation - volume 1 (extended selected papers from ICST 2011) by Harman, Mark, Korel, Bogdan

Get full text

Automatically Quantifying the Impact of a Change in Systems (Journal-First Abstract) by Almasri, Nada, Tahat, Luay, Korel, Bogdan

“…Software maintenance is becoming more challenging with the increased complexity of the software and the frequently applied changes. Performing impact analysis…”
Get full text

Regression test suite prioritization using system models by Tahat, Luay, Korel, Bogdan, Harman, Mark, Ural, Hasan

“…SUMMARY During regression testing, a modified system is often retested using an existing test suite. Since the size of the test suite may be very large,…”
Get full text

Automated software test data generation by Korel, B.

“…An alternative approach to test-data generation based on actual execution of the program under test, function-minimization methods and dynamic data-flow…”
Get full text

Theoretical foundations of dynamic program slicing by BINKLEY, Dave, DANICIC, Sebastian, GYIMOTHY, Tibor, HARMAN, Mark, KISS, Akos, KOREL, Bogdan

Get full text

Improving System Reliability Against Rational Attacks Under Given Resources by Li Wang, Shangping Ren, Korel, Bogdan, Kwiat, Kevin A., Salerno, Eric

“…System reliability has always been a challenging issue for many systems. In order to achieve high reliability, redundancy and voting schemes are often used to…”
Get full text

Editorial for Special Issue of JASE on Source Code Analysis and Manipulation: extended selected papers from SCAM 2007 by Godfrey, Michael W., Korel, Bogdan

Get full text

A formalisation of the relationship between forms of program slicing by Binkley, Dave, Danicic, Sebastian, Gyimóthy, Tibor, Harman, Mark, Kiss, Ákos, Korel, Bogdan

“…The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of…”
Get full text

Editorial for Special Issue of JASE on Source Code Analysis and Manipulation by Godfrey, Michael W, Korel, Bogdan

Get full text

Computation of dynamic program slices for unstructured programs by Korel, B.

“…A dynamic program slice is an executable part of the program whose behaviour is identical, for the same program input, to that of the original program with…”
Get full text

Dynamic program slicing methods by Korel, Bogdan, Rilling, Jurgen

“…A dynamic program slice is that part of a program that “affects” the computation of a variable of interest during program execution on a specific program…”
Get full text

EMSE special issue from ICSM and Metrics

“…Issue Title: Special Issue from ICSM and Metrics: Guest Editors: Mark Harman, Bogdan Korel, Panos Linos, Audris Mockus and Martin Shepperd…”
Get full text

Guest Editorial: Special Issue on Software Maintenance and Evolution by Harman, M., Korel, B., Linos, P.K.

“…In systems developed without aspect-oriented programming, code implementing a crosscutting concern may be spread over many different parts of a system…”
Get full text

Data dependence based testability transformation in automated test generation by Korel, B., Harman, M., Chung, S., Apirukvorapinit, P., Gupta, R., Zhang, Q.

“…Source-code based test data generation is a process of finding program input on which a selected element, e.g., a target statement, is executed. There exist…”
Get full text