Finding software bugs before deployment is essential to achieve software safety and security. The achievable code coverage and input coverage with manual test suite development at reasonable cost is limited. Therefore, complementary automated methods for bug detection are of interest. This paper describes automated context-sensitive detection of software bugs with dynamic symbolic execution. Th...

Background and Objectives: Ethiopia’s food insecurity will increase unless it can dramatically boost agricultural productivity. In 1993, the Sasakawa/Global 2000 Program (SG) and the Ministry of Agriculture (MOA) began a joint program to demonstrate that substantial productivity increases could be achieved when farmers were given appropriate extension messages and agricultural inputs were deliv...

This paper describes a programming environment aimed at developing and tuning message passing applications before actually running them in a real system with a large number of processors. Two basic tools in this environment are a simulator (Dimemas) and a visualization and analysis tool (Paraver) that are closely integrated.

Students following the Mechatronics Program stream at the University of Waikato often continue to a MSc degree that can involve the design of, or modification to, an Autonomous Guided Vehicle (AGV). Our challenge is to inspire and extend the capabilities of these students, a success that can perhaps be measured by the sophistication of the AGVs currently being produced by our graduates.

We present the program development concept in a logical framework including constructive type theory and then show how to use such theories to derive programs from proofs of formal speciications. We are interested in two important facts that are the mechanization of the proof construction and the possibility to express in the theory signiiciant concepts for programming (like inductively deened ...

Disclaimer This report was prepared as an account of work sponsored by an agency of the United States Government. Neither the United States Government nor any agency thereof, nor any of their employees, makes any warranty, express or implied, or assumes any legal liability or responsibility for the accuracy, completeness, or usefulness of any information, apparatus, product, or process disclose...

Agriculture and Rural Development Discussion Papers is an informal series produced by the Agriculture and Rural Development Department of the World Bank. These papers raise concepts and issues for discussion in the broader development community and describe ongoing research and/or implementation experiences from the Bank. The findings, interpretations, and conclusions expressed herein are those...

Oklahoma Extension educators encountered barriers related to trainings and program delivery for a caregiver education produced by State University Extension. family consumer sciences were interviewed about perceived attending delivering the program. Findings indicated that staff shortages, prioritization, challenges in developing an audience, communication issues with team made it difficult eng...

Program understanding tools manipulate program representations, such as abstract syntax trees, controlflow graphs, or data-flow graphs. This paper deals with the use of visitor combinators to conduct such manipulations. Visitor combinators are an extension of the well-known visitor design pattern. They are small, reusable classes that carry out specific visiting steps. They can be composed in d...

The Program Development System (PDS) is a collection of programming tools created as an extension of the ECL programming system23. It contains components that assist the progr~r~er in the definition and modular structuring of large programs at different levels of algorithmic abstraction. These components are supplemented by a program analysis package that produces an information pool to be used...