With the development of multi-processors, multi-threaded programs and programming languages have become more and more popular. This requires extending the scope of program analysis and compiler optimization from traditional, sequential programs to concurrent programs., Naumovich et al. proposed May Happen…

For many years, programmers have faced the problem of reading and trying to understand other programmers' code, either to maintain it or to learn from it. Analysis of dynamic data structure usage is useful for both program understanding and for…

In this thesis, we introduce SableCC, an object-oriented framework that generates compilers (and interpreters) in the Java programming language. This framework is based on two fundamental design decisions. Firstly, the framework uses object-oriented techniques to automatically build a strictly-typed abstract…

Alarm correlation is becoming one of the most central techniques in managing the high volume of alarm messages in fault management area, since the speed and accuracy of fault management are heavily dependent on it. The alarm correlation approach of…

The explosive growth of the wireless users requires efficient channel utilization. In this thesis, we present a new channel allocation strategy with waiting queue model instead of the block-and-clear model so that the quality of service in cellular network can…

As the number of applications of computers controlling safety-critical operations increases, the need to ensure the safety and reliability of the software that controls those computers increases proportionally. Ultimately, such software properties are the result of appropriate design and implementation.…

This thesis empirically compares statistical prediction models using fault count data and fault binary data. The types of statistical models that are studied in detail are Logistic Regression for binary data and Negative Binomial Regression for the count data. Different…

In this thesis, we present a cognitive theory of object-oriented metrics and an empirical study which has as objectives to formally test this theory while validating the metrics and to build a post-release fault proneness prediction model. The four cognitive…

The Multidisciplinary Design Optimization (MDO) can be defined as a methodology for the design of complex engineering systems where collaboration and abilities to mutually interacting between different disciplines are fundamental. In this thesis, Virtual Aircraft Design and Optimization fRamework (VADOR),…

This thesis presents a new algorithm to compute the probability that a state in a labeled Markov chain model satisfies an LTL specification. A solution to this problem was given by Courcoubetis & Yannakakis in 1995, but unlike their solution…