21 papers · ranked by Valyu relevance
Pietro Braione, Giovanni Denaro, Luca Gugliemo, Elson Kurian + 2 more
Context. Since the eighties, the combination of program analysis techniques has been increasingly recognized as a promising approach to overcome the limitations of standalone methods. While individual techniques, based on either static or dynamic analysis, address important challenges in software dependability, their…
Michael Hanus, Fabian Reck
We present a system, called CASS, for the analysis of functional logic programs. The system is generic so that various kinds of analyses (e.g., groundness, non-determinism, demanded arguments) can be easily integrated. In order to analyze larger applications consisting of dozens or hundreds of modules, CASS supports a…
Roberto Baldoni, Emilio Coppa, Daniele Cono D’Elia, Camil Demetrescu + 1 more
'Irene Finocchi'] Many security and software testing applications require checking whether certain properties of a program hold for any possible usage scenario. For instance, a tool for identifying software vulnerabilities may need to rule out the existence of any backdoor to bypass a program's authentication. One…
Jan Haltermanna, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
'Heike Wehrheim'] In this paper, we discuss a generalization of ranged symbolic execution to arbitrary program analyses. More specifically, we present a verification approach that splits programs into path ranges and then runs arbitrary analyses on the ranges in parallel. Our approach in particular allows to run…
Lisa J. Burnell, Eric Horvitz
We describe the integration of logical and uncertain reasoning methods to identify the likely source and location of software problems. To date, software engineers have had few tools for identifying the sources of error in complex software packages. We describe a method for diagnosing software problems through…
Yoshiharu Ikutani, Takeshi D. Itoh, Takatomi Kubo
The understanding of brain activity during program comprehension have advanced thanks to noninvasive neuroimaging techniques, such as functional magnetic resonance imaging (fMRI). However, individual neuroimaging studies of program comprehension often provided inconsistent results and made it difficult to identify the…
Safeeullah Soomro, Mohammad Riyaz Belgaum, Zainab Alansari, Mahdi H. Miraz
'Mahdi H. Miraz'] Abstract— In the domain of Software Engineering, program analysis and understanding has been considered to be a very challenging task since decade, as it demands dedicated time and efforts. The analysis of source code may occasionally be comparatively easier due to its static nature, however, the…
Rasha Omar, Mostafa Abbas, Ahmed El-Mahdy, Erven Rohou + 1 more
'Rafael Sachetto Oliveira'] With the widespread of multicore systems, automatic parallelization becomes more pronounced, particularly for legacy programs, where the source code is not generally available. An essential operation in any parallelization system is detecting data dependence among parallelization candidate…
Jannis Stoppe, Rolf Drechsler, Albert M. K. Cheng
The complexity of hardware designs is still increasing according to Moore's law. With embedded systems being more and more intertwined and working together not only with each other, but also with their environments as cyber physical systems (CPSs), more streamlined development workflows are employed to handle the…
Alasdair Armstrong, Brian Campbell, Ben Simner, Christopher Pulte + 1 more
Architecture specifications such as Armv8-A and RISC-V are the ultimate foundation for software verification and the correctness criteria for hardware verification. They should define the allowed sequential and relaxed-memory concurrency behaviour of programs, but hitherto there has been no integration of full-scale…
Ziying Dai, Xiaoguang Mao, Yan Lei, Yuhua Qi + 2 more
API protocols specify correct sequences of method invocations. Despite their usefulness, API protocols are often unavailable in practice because writing them is cumbersome and error prone. Multiple object API protocols are more expressive than single object API protocols. However, the huge number of objects of typical…
Oliver Lee, Malte Gather, Eli Zysman-Colman
We describe a new tool for the efficient management of computational chemistry. Digichem is a program that automates and simplifies nearly the entire computational pipeline, including large-scale batch submission of calculations, analysis and results parsing, the generation of 3D density plots and 2D graphs of…
Babu Bassa
In this communication the author describes a software tool named "ChameleonSort". The software program, developed by the present author is useful in the sorting of biological sequence variants like those accumulating mutations while diverging from the common ancestors. Examples include viral protein variants, protein…
Hector Florez, Mario Sánchez, Jorge Villalobos
Enterprise models are created for documenting and communicating the structure and state of Business and Information Technologies elements of an enterprise. After models are completed, they are mainly used to support analysis. Model analysis is an activity typically based on human skills and due to the size and…
Zishuai Wang, Chongxiao Liang, Xiaoai Zhang, Wenkang Wei + 1 more
Genomic breeding has become increasingly data-intensive, yet the practical integration of heterogeneous bioinformatics tools into coherent analytical workflows remains a major bottleneck. To address this, we present BOLE, a knowledge-enhanced multi-agent AI framework for autonomous genomic breeding analysis. By…
Aleksandar Jagličić, Torben Gädt, Matthias Hofmann
Isothermal heat flow calorimetry is a powerful method for studying chemical processes. In cement research, it has become indispensable for quantifying the heat release during cement hydration. It is used to study the reactivity of cementitious binders and the effect of admixture chemistry and dosage. Most isothermal…
Authors not listed
High-precision dynamic simulations of hypersonic flows are crucial for hightemperature aerodynamics, particularly in addressing non-equilibrium effects in turbulent flows. The quasi-classical trajectory (QCT) method, based on microscopic molecular collisions, is a key approach to tackle this challenge. By generating…
Matej Medla, Dušan Žitňan
TickMotion is a Python-based software tool designed for the post hoc analysis of video recordings that capture movements or muscle contractions in insects. It provides a simple, fast, and automated approach for semi-quantitative assessment of motion by measuring the “pixel activity” – changes in pixel intensity or…
Authors not listed
This article presents two programs to help users construct mass spectral libraries for use with the NIST/NIJ DART-MS Data Interpretation Tool (version 3.22). The Full Database Builder program—which is a modification of the original database building script published through NIST—generates libraries that follow the…
Felipe Engelberger, Jonathan D. Zakary, Georg Künze
Recent developments in machine learning have greatly facilitated the design of proteins with improved properties. However, accurately assessing the contributions of an individual or multiple amino acid mutations to overall protein stability to select the most promising mutants remains a challenge. Knowing the specific…
Jeremy Li, Alex Rubinsteyn, Sergey Feldman, Timothy O’Donnell + 18 more
Scientific computing has become a central component of modern scientific discovery. Yet many computational tools are developed by small, specialized teams under incentives that encourage the release of rapidly prototyped tooling without commensurate attention to engineering concerns, including performance and…