This thesis presents a collection disjointness analysis to find disjointness relations between collections in Java. We define the three types of disjointness relations between collections: must-shared, may-shared and not-may-shared. The collection- disjointness analysis is implemented following the way of a forward data-flow analysis using Soot Java bytecode analysis framework. For method calls, which are usually difficult to analyze in static analysis, our analysis provide a way of generating and reading annotations of a method to best approximate the behavior of the calling methods. Finally, this thesis presents the experimental results of the collection-disjointness analysis on several tests.

The coverage of a test suite is often used as a proxy for its effectiveness. However, previous studies that investigated the influence of code coverage on test suite effectiveness have failed to reach a consensus about the nature and strength of the relationship between these test suite characteristics. Moreover, many of the studies were done with small or synthetic programs, making it unclear that their results generalize to larger programs. In addition, some of the studies did not account for the confounding influence of test suite size. We have extended these studies by evaluating the relationship between test suite size, block coverage, and effectiveness for large Java programs. Our test subjects were four Java programs from different application domains: Apache POI, HSQLDB, JFreeChart, and Joda Time. All four are actively developed open source programs; they range from 80,000 to 284,000 source lines of code. For each test subject, we generated between 5,000 and 7,000 test suites by randomly selecting test methods from the program's entire test suite. The suites ranged in size from 3 to 3,000 methods. We used the coverage tool Emma to measure the block coverage of each suite and the mutation testing tool Javalanche to evaluate the effectiveness of each suite. We found that there is a low correlation between block coverage and effectiveness when the number of tests in the suite is controlled for. This suggests that block coverage, while useful for identifying under-tested parts of a program, should not be used as a quality target because it is not a good indicator of test suite effectiveness.

Typescript. / Vita. / Thesis (Ph.D.)--Cornell University, 1975. / Bibliography: leaves 398-402. / Microfilm. / v, 406 leaves

The current research represents the planning, design, implementation and evaluation of a user directed software clustering approach that utilizes Search Based Software Engineering (SBSE). The aim of this research is to examine if a user directed software clustering approach contributes to the quality of software clustering. Because of the explorative and constructive character this research project utilises the System Development Research Methodology. This research is enabled by the implementation of the Search Based Reverse Engineering (SBRE) component. The SBRE component features multiple similarity measurements and the inclusion of user constraints in the clustering process to create different implementation perspectives of the software system depending on the requirements and preferences of the stakeholders. These similarity measurements are based on software metrics, which measure different software-attributes. The SBRE component utilizes a greedy and tabu search algorithm for the identification of the cluster landscape of the analyzed software systems. The evaluation showed that a user controlled SBSE cluster approach is able to adapt to different user configurations and derive corresponding cluster landscapes from software systems. Different measures are introduced to control the cluster process. It has been shown how these measures contribute to the quality of the clustering. It is demonstrated that tabu search is applicable in the field of software clustering. Finally, it has been examined that a multiple metric approach allows adapting the clustering process to the requirements of the stakeholders and the design of the software system to optimize the clustering result.

Thesis (PhDInformationTechnology)--University of South Australia, 2004.

This thesis explores the reasons for religious change to Pentecostal Christianity in urban Java during the late twentieth and early twenty-first centuries. It investigates the conversion trend to Pentecostal forms of Christianity that has taken place in recent decades in the cities of Java. Why some of Java’s Muslim urbanites, particularly young traditionalist Javanese Muslims of lower and middle class status, have converted to this ecstatic expression of Christianity since 1980 is the focus of this study. The thesis considers the utility of current social science theories that emphasise social, cultural, political and selected religious factors, to understanding this conversion trend in urban Muslim Java. Socio-political factors, particularly political and social crises, rapid urbanisation, and state support for monotheistic religions; and selected religious factors, mainly delimited religious pluralism and reaction to Islamic extremism, produced a climate in urban Java conducive to conversion to this indigenous, moderately strict, this-worldly focussed and modern Christian movement. While this thesis demonstrates the utility of current social science explanations, it argues that these explanations, which rely solely on socio-political and some religious factors external to the converts, do not fully explain why some of the Muslim inhabitants of the cities of Java have converted to Pentecostal Christianity over other religions, and over other forms of Christianity. I argue that existing social science theory be extended to be more inclusive of specialised aspects of the Pentecostal movement. These specific characteristics are considered under the schema of ‘religious experiences and movement specificities’ (REMS), and are particularly concerned with the role of Pentecostal worldview, religious experiences, community and institutional aspects in conversion. This thesis demonstrates the value of an integrated approach to the scientific study of the reasons for religious conversion, one that considers the contribution of external socio-political forces and inner subjective religious experiences, personal faith aspects and specificities of movements.

This thesis explores the reasons for religious change to Pentecostal Christianity in urban Java during the late twentieth and early twenty-first centuries. It investigates the conversion trend to Pentecostal forms of Christianity that has taken place in recent decades in the cities of Java. Why some of Java’s Muslim urbanites, particularly young traditionalist Javanese Muslims of lower and middle class status, have converted to this ecstatic expression of Christianity since 1980 is the focus of this study. The thesis considers the utility of current social science theories that emphasise social, cultural, political and selected religious factors, to understanding this conversion trend in urban Muslim Java. Socio-political factors, particularly political and social crises, rapid urbanisation, and state support for monotheistic religions; and selected religious factors, mainly delimited religious pluralism and reaction to Islamic extremism, produced a climate in urban Java conducive to conversion to this indigenous, moderately strict, this-worldly focussed and modern Christian movement. While this thesis demonstrates the utility of current social science explanations, it argues that these explanations, which rely solely on socio-political and some religious factors external to the converts, do not fully explain why some of the Muslim inhabitants of the cities of Java have converted to Pentecostal Christianity over other religions, and over other forms of Christianity. I argue that existing social science theory be extended to be more inclusive of specialised aspects of the Pentecostal movement. These specific characteristics are considered under the schema of ‘religious experiences and movement specificities’ (REMS), and are particularly concerned with the role of Pentecostal worldview, religious experiences, community and institutional aspects in conversion. This thesis demonstrates the value of an integrated approach to the scientific study of the reasons for religious conversion, one that considers the contribution of external socio-political forces and inner subjective religious experiences, personal faith aspects and specificities of movements.

The current research represents the planning, design, implementation and evaluation of a user directed software clustering approach that utilizes Search Based Software Engineering (SBSE). The aim of this research is to examine if a user directed software clustering approach contributes to the quality of software clustering. Because of the explorative and constructive character this research project utilises the System Development Research Methodology. This research is enabled by the implementation of the Search Based Reverse Engineering (SBRE) component. The SBRE component features multiple similarity measurements and the inclusion of user constraints in the clustering process to create different implementation perspectives of the software system depending on the requirements and preferences of the stakeholders. These similarity measurements are based on software metrics, which measure different software-attributes. The SBRE component utilizes a greedy and tabu search algorithm for the identification of the cluster landscape of the analyzed software systems. The evaluation showed that a user controlled SBSE cluster approach is able to adapt to different user configurations and derive corresponding cluster landscapes from software systems. Different measures are introduced to control the cluster process. It has been shown how these measures contribute to the quality of the clustering. It is demonstrated that tabu search is applicable in the field of software clustering. Finally, it has been examined that a multiple metric approach allows adapting the clustering process to the requirements of the stakeholders and the design of the software system to optimize the clustering result.

Thesis (M.S.)--Ohio University, June, 2001. / Title from PDF t.p.

Univ., Diss.--Göttingen, 2005. / Zusfassung in dt. und engl. Sprache.