Fourteen laboratories participated in a collaborative study (coded fyt9404) and 13 laboratories participated in a study (coded fyt9410) to validate a colorimetric assay for determination of microbial phytase activity in feed. For each study, all laboratories received 6 laboratory samples provided by one commercial supplier (phytase activity levels within the range of 200-400 per kg) to be analy...

This paper aims to prove the efficiency of an adapted computationally intelligence-based behavior of cats called the cat swarm optimization algorithm, that solves the open shop scheduling problem, classified as NP-hard which its importance appears in several industrial and manufacturing applications. The cat swarm optimization algorithm was applied to solve some benchmark instances from the lit...

An environment for visualising object oriented program execution providing concrete and abstract views of program structure and behaviour is described. Of particular novelty are dynamic views using a road map metaphor.

We have recently shown that symbolic execution together with the implicit path enumeration technique can successfully be applied in the Worst-Case Execution Time (WCET) analysis of programs. Symbolic execution offers a precise framework for program analysis and tracks complex program properties by analyzing single program paths in isolation. This path-wise program exploration of symbolic execut...

In a pointcut we want to fully specify the points in the execution of a program at which an advice is to be executed. The pointcut languages of current aspect-oriented programming languages only provide limited support for specifying points in the execution that do not directly map to points in the program code. As a result, an aspect programmer has to implement logic to keep track of certain r...

Existing reification techniques for Java only allow for inspection and manipulation of Java programs on the class, object and method level, but not at the level of individual program points. In this paper we introduce a reification technique of program points based on source-tosource transformations. Our reification method allows for the association of arbitrary meta-information with program po...

Title of dissertation: TRACE OBLIVIOUS PROGRAM EXECUTION Chang Liu, Doctor of Philosophy, 2016 Dissertation directed by: Professor Michael Hicks Department of Computer Science, University of Maryland and Professor Elaine Shi Department of Computer Science, Cornell University The big data era has dramatically transformed our lives; however, security incidents such as data breaches can put sensit...