(Dagstuhl Seminar Organizer Authors) (2009)
Rogério De Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, ...
Software’s ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
Yue Jiang, Bojan Cukic, Donald A. Adjeroh, Heath D. Skinner, Jie Lin, Qingxi J. Shen, ...
Efficient and effective analysis of the growing genomic databases requires the development of adequate computational tools. We introduce a fast method based on the suffix tree data structure for...
David R. Owen, Bojan Cukic, Ph. D, Tim Menzies, Ph. D, ...
Software is increasingly complex and is used in increasingly critical applications. Sophisticated techniques are available for verifying that software systems work correctly, but these techniques can...
Protecting Iris Images through Asymmetric Digital Watermarking (2008)
Nick Bartlow, Nathan Kalka, Bojan Cukic, Arun Ross
Abstract protecting such systems, no system is completely impenetrable. Therefore, protection mechanisms must be in place When biometric systems require raw images to be stored even after decryption,...
Cross- vs Within-Company Defect Prediction Studies (2008)
Tim Menzies, Burak Turhan, Justin Distefano, Ayes Bener, Yue Jiang, Bojan Cukic, ...
Abstract — Part of good research is knowing what questions to ask,
Stored Stored Templates Templates Matcher Matcher (2008)
– An expression of intent to do harm (Webster). – Circumstances that make attacks likely to occur, system vulnerabilities exposed. • Vulnerability – Weakness of protection that might be...
ABSTRACT Random Testing of Formal Software Models and Induced Coverage (2008)
David Owen, Dejan Desovski, Bojan Cukic
This paper presents a methodology for random testing of software models. Random testing tools can be used very effectively early in the modeling process, e.g., while writing formal requirements...
Fault prediction using early lifecycle data (2008)
Yue Jiang, Bojan Cukic, Tim Menzies
The prediction of fault-prone modules in a software project has been the topic of many studies. In this paper, we investigate whether metrics available early in the development lifecycle can be used...
Philip J. Bol, Harshinder Singh, Bojan Cukic
Abstract—The comparison of partition and random sampling methods for software testing has received considerable attention in the literature. A standard criterion for comparisons between random and...
Does Your Result Checker Really Check? (2008)
Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has provided a powerful...
The TIM-BO model and the Fairmont Effect (2008)
Theoretically, many hundreds to thousands of tests are required to test a system (see Figure 1). Yet many expert systems are tested using only dozens of tests, or less (see Figure 2). We believe that...
08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map (2008)
Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio, Andersson, Jesper, ...
Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...
Fuzzy Logic in Neurophysiology: A Case Study (2007)
Goran Trajkovski, Bojan Cukic, Georgi Stojanov
The Contingent Negative Variation Potentials (CNV) feature slow shifts in brain potentials due to efferent stimuli. These waves are often considered to be a relevant measure of the learning...
The Performance Impact of False Subpage Sharing in KSR1 (2007)
Bojan Cukic, Farokh B. Bastani
This paper presents insight into important aspects of the performance of KSR1 multiprocessor. We report performance degradations caused by false sharing of memory subpages (128 bytes long units of...
Developing Highly-Reliable Software: The MAP Approach (2007)
Bojan Cukic, Farokh B. Bastani
Software reliability is becoming the dominant concern in software development. This particularly holds for the development of safety-critical control systems. Any failure of these systems can result...
Bridging the Gaps of Parallel Programming (2007)
Two basic technology gaps in today's parallel computers are: 1) too much latency in accessing overall system memory, and 2) too little compiler power for existing languages. Consequently, the...
Bridging the Gaps of Parallel Programming (2007)
Two basic technology gaps in today's parallel computers are: 1) too much latency in accessing overall system memory, and 2) too little compiler power for existing languages. Consequently, the...
Accelerated Testing for Software Reliability Assessment (2007)
It is necessary to assess the reliability of safety-critical systems to a high degree of confidence before they can be used in the field. One theoretically sound approach for assessing software...
Software Design Principles for Improved Reliability Assessment (2007)
Software is no exception to the general rule which states that "complex structure leads to reduced reliability". Continual increase in the complexity of software artifacts is in sharp...
Attaining High Confidence in Software Reliability Assessment (2007)
Bojan Cukic, Farokh B. Bastani
It is a cruel reality that the goal of producing "perfect software " remains elusive. When software is part of a critical system, it is necessary to estimate the risk associated with its...
Smaller, Faster Agent Dialogues via Conversational Probing (2007)
Tim Menzies Z, Bojan Cukic, Enrico Coiera Y
Studies of human conversation suggest that agents whose world models are in consensus can work well together using only very narrow bandwidths. The total bandwidth required between agents could hence...
Cukic, Statistical framework for the prediction of fault-proneness (2007)
Accurate prediction of fault prone modules in software development process enables effective discovery and identification of the defects. Such prediction models are especially valuable for the...
Verification and Validation of a Fingerprint Image Registration Software (2006)
Dejan Desovski, Vijai Gandikota, Yan Liu, Yue Jiang, Bojan Cukic
The need for reliable identification and authentication is driving the increased use of biometric devices and systems. Verification and validation techniques applicable to these systems are rather...
Performance Analysis of Iris Based Identification System at the Matching (2005)
Natalia A. Schmid, Manasi Ketkar, Harshinder Singh, Bojan Cukic
Practical iris-based identification systems are easily accessible for data collection at the matching score level. In a typical setting, a video camera is used to collect a single frontal view image...
The stochastic precedence ordering with applications in sampling and testing (2004)
Boland, Philip J., Singh, Harshinder, Cukic, Bojan
Stratified and simple random sampling (or testing) are two common methods used to investigate the number or proportion of items in a population with a particular attribute. Although it is known that...
Robust prediction of fault-proneness by random forests (2004)
Lan Guo, Yan Ma, Bojan Cukic, Harshinder Singh
Accurate prediction of fault prone modules (a module is equivalent to a C function or a C++ method) in software development process enables effective detection and identification of defects. Such...
Retna: From requirements to testing in a natural way (2004)
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major causes of failures of...
A Scenario-Based Reliability Analysis Approach for Component-Based Software (2004)
Sherif Yacoub, Bojan Cukic, Hany H. Ammar
Abstract—This paper introduces a reliability model, and a reliability analysis technique for component-based software. The technique is named Scenario-Based Reliability Analysis (SBRA). Using...
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks (2003)
Lan Guo, Bojan Cukic, Harshinder Singh
This paper describes a novel methodology for predicting fault prone modules. The methodology is based on Dempster-Shafer (D-S) belief networks. Our approach consists of three steps: First, building...
Lyapunov Analysis of Neural Network Stability (2003)
Sampath Yerramalla, Edgar Fuller, Martin Mladenovski, Bojan Cukic
Abstract. The paper presents the role of self-stabilization analysis in the design, verification and validation of the dynamics of an Adaptive Flight Control System (AFCS). Since the traditional...
Lyapunov Stability Analysis of Quantization Error for (2003)
Sampath Yerramalla, Bojan Cukic
Abstract — In this paper we show that the quantization error for Dynamic Cell Structures (DCS) Neural Networks (NN) as defined by Bruske and Sommer provides a measure of the Lyapunov stability of...
Validating an On-Line Adaptive System Using Support Vector Data Description (2003)
Yan Liu, Srikanth Gururajan, Bojan Cukic
Abstract- In this paper, we propose a novelty detection method based on Support Vector Machines as a candidate approach for validating online adaptive systems. As a oneclass classifier, the support...
Stochastic orders in partition and random testing of software (2002)
Boland, Philip J., Singh, Harshinder, Cukic, Bojan
Testing in order to produce software of high reliability is an area of major concern in software engineering. In an effort to find efficient methods of testing, the comparison of partition and random...
Image Quality Assessment for Iris Biometric (2002)
Nathan D. Kalka, Jinyu Zuo, Natalia A. Schmid, Bojan Cukic
Iris recognition, the ability to recognize and distinguish individuals by their iris pattern, is the most reliable biometric in terms of recognition and identification performance. However,...
Adequacy of limited testing for knowledge based systems (2000)
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration missions. The...
Certifying Adaptive Flight Control Software (2000)
Vittorio Cortellessa, Bojan Cukic, Diego Del Gobbo, Ali Mili, Marcello Napolitano, Mark Shereshevsky, ...
As aircraft designs become more complex, automationhas become an important factor in improving safety and reliability. Automated flight control systems can respond intelligently to faults when it is...
Scenario-based reliability analysis of component-based software (1999)
Sherif Yacoub, Bojan Cukic, Hany Ammar
Software designers are motivated to utilize off-the-shelf software components for rapid application development. Such applications are expected to have high reliability as a result of deploying...
Intelligent Testing can be Very Lazy (1999)
Tim Menzies Bojan, Tim Menzies, Bojan Cukic
Testing is a search process and a test suite is complete when the search has examined all the corners of the program. Standard models of test suite sizes are gross over-estimates since they are...
A Comparison of Two Buffer Occupancy Control Algorithms in ATM Networks (1999)
Goran Trajkovski Bojan, Bojan Cukic, Marjan Bogatinovski
Current research treats the ATM paradigm as a generalization of multitude of concepts in the telecommunication area. On the other hand, fuzzy logic concepts are being applied in various engineering...
WP:b/99/negoiation/goddard.tex(December 6, 1999). Agents Talking Faster (1999)
Tim Menzies, Bojan Cukic, Enrico Coiera
Agents running on distributed computers may interact under a variety of resource restrictions. One restriction is bandwidth. Every transmission also takes time since it must be processed by both the...
EH* - Extendible Hashing in a Distributed Environment (1997)
Victoria Hilford, Farokh B. Bastani, Bojan Cukic
In today's world of computers, dealing with huge amounts of data is not unusual. The need to distribute this data in order to increase its availability and increase the performance of accessing...
Combining Testing and Correctness Verification in Software Reliability Assessment (1997)
The delivery of sophisticated control algorithms or system features via software is the driving force behind its increased use in safety-critical applications. The existence of software faults in...
Diversity in the Software Development Process (1997)
Victoria Hilford, Michael R. Lyu, Bojan Cukic, Anouar Jamoussi, Farokh B. Bastani
Various methods have been proposed for building faulttolerant software in an effort to provide substantialimprovements in software reliability for critical applications, such as flight control,...
Diversity in the Software Development Process (1997)
Victoria Hilford Michael, Michael R. Lyu, Bojan Cukic, Anouar Jamoussi, Farokh B. Bastani
Various methods have been proposed for building faulttolerant software in an effort to provide substantial improvements in software reliability for critical applications, such as flight control,...
Diversity in the Software Development Process (1997)
Victoria Hilford, Michael R. Lyu, Bojan Cukic, Anouar Jamoussi, Farokh B. Bastani
Various methods have been proposed for building faulttolerant software in an effort to provide substantial improvements in software reliability for critical applications, such as flight control,...
On Reducing the Sensitivity of Software Reliability to Variations in the Operational Profile (1996)
Bojan Cukic, Farokh B. Bastani
In the statistical sampling method, as in any other statistical approaches for measuring software reliability, the inputs to the program are chosen according to the estimated probability with which...
Impact of Program Transformation on Software Reliability Assessment (1996)
The statistical sampling method is a theoretically sound approach for measuring the reliability of safety-critical software, such as control systems for nuclear power plants, aircrafts, space...
A Transformational Approach for Measuring Software Reliability (1995)
Farokh B. Bastani, Bojan Cukic
This paper addresses the problem of measuring the reliability of safety-critical software. One theoretically sound approach is the statistical sampling method which, however, has some practical...
Automatic Array Alignment as a Step in Hierarchical Program Transformation (1994)
Bojan Cukic, Farokh B. Bastani
We present an original approach to automatic array alignment, the step in the hierarchical transformation system aimed at the efficient execution of shared memory programs on distributed memory...
Automatic array alignment of multicomputers /--by Bojan Cukic. (1993)
Degree granted by Dept. of Computer Science.
Jiang, Yue, Cukic, Bojan, Adjeroh, Donald A., Skinner, Heath D., Lin, Jie, Shen, Qingxi J., ...
Efficient and effective analysis of the growing genomic databases requires the development of adequate computational tools. We introduce a fast method based on the suffix tree data structure for...