Title of dissertation: FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS Jinseong Jeon, Doctor of Philosophy, 2016 Dissertation directed by: Professor Jeffrey S. Foster Department of Computer Science Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reaso...

A method for the experimental specification of variant Hencky–Murnaghan constitutive relations is proposed. series compression and indentation experiments a number specimens made highly elastic materials carried out on stand. An iterative procedure determining constants from inhomogeneous deformation developed. The convergence process investigated. values model are found two types. It that desc...

The main message of this paper is that systemism is best suited for transdisciplinary studies. A description of disciplinary sciences, transdisciplinary sciences and systems sciences is given, along with their different definitions of aims, scope and tools. The rationale for transdisciplinarity is global challenges, which are complex. The rationale for systemism is the concretization of underst...

The Defense Mechanisms Rating Scales (DMRS), one of the most widely used and validated instruments in the study of defense mechanisms, does not include psychotic defenses. The Psychotic-DMRS (P-DMRS) has been developed to include 6 psychotic defense mechanisms: psychotic denial, autistic withdrawal, distortion, delusional projection, fragmentation, and concretization. We discuss psychotic defen...

In this Ph.D project, we propose a Model-Based Testing approach to complement the B-Method development process. The approach generates unit test cases that verify the conformance between the initial abstract model and the actual implementation of the system, checking if the developed code behaves as specified in the model. The test cases are generated using classic testing techniques such as In...

People process uncertainty information in two qualitatively different systems. Most climate forecast communications assume people process information analytically. Yet people also rely heavily on an experiential processing system. Better understanding of experiential processing may lead to more comprehensible risk communication products. Retranslation of statistical information into concrete (v...

We build on the established work on modal transition systems and probabilistic speciications to sketch a framework in which system description, abstraction, and nite-state model checking all have a uniform presentation across various levels of qualitative and quantitative views together with mediating abstraction and concretization maps. We prove safety results for abstractions within and acros...

Within Requirements Engineering it is a difficult task to systematically increase the quality of individual requirements and the whole specification. In this position paper we present our current research effort on a requirement engineering process for automotive software, which is an intermediate result of the mobilSoft project. In order to improve the requirements specification we propose the...