Results The NIST Syndromic Surveillance Test Suite for 2015 Edition ONC certification testing was published in February 2016. As the target stakeholders began using it and providing feedback, this tool and associated documentation were updated. The Test Suite is being used by test labs for ONC certification testing of health information technologies, by developers in preparation for certificati...

We can only test software effectively if we understand how it is intended to behave. For some categories of programs, such as scientific models, it is not obvious what the output of the software should be. New techniques are needed to help domain experts, such as scientists, gather the knowledge they need to construct suitable tests and oracles. This paper introduces a new interactive tool for ...

GREVAL, the test suite of 500 English sentences taken from SUSANNE Corpus and made available by John Carroll and Ted Briscoe at their website, has been used to test the performance of a symbolic linguistically-based parser called GETARUNS presented in (Delmonte, 2002). GETARUNS is a symbolic linguistically-based parser written in Prolog Horn clauses which uses a strong deterministic policy by m...

In this paper we explore a number of ideas for enhancing the techniques of genetic programming in the context of a very simple test environment that nevertheless possesses some degree of algorithmic subtlety. We term this genetic programming environment plus-onerecall-store (PORS). This genetic programming environment is quite simple having only a pair of terminals and a pair of operations. The...

The paper presents both conceptual and technical issues related to the construction of an HPSG test-suite for Polish. The test-suite consists of sentences of written Polish — both grammatical and ungrammatical. Each sentence is annotated with a list of linguistic phenomena it illustrates. Additionally, grammatical sentences are encoded in HPSG-style AVM structures. We describe also a technical ...

In this paper, the problem of test suite minimization for testing in context is studied and some results are proposed. The test architecture considered is general enough to allow the context and the component to have external inputs and outputs. Using a given fault model for testing in context, conditions are provided to detect all the redundant transitions that do not need to be tested. A comp...

Explanation closure (EC) axioms were previously introduced as a means of solving the frame problem. This paper provides a thorough demonstration of the power of EC combined with action closure (AC) for reasoning about dynamic worlds, by way of Sandewall's test suite of 12-or-so problems ((30], 31]). Sandewall's problems range from the \Yale turkey shoot" (and variants) to the \stuuy room" probl...

Regression testing is an expensive, but important process in software testing. Unfortunately, there may be insufficient resources to allow for the re-execution of all test cases during regression testing. In this situation, test case prioritization techniques aim to improve the effectiveness of regression testing by ordering the test cases so that the most beneficial are executed first. In this...

Dug Song is a Senior Engineer at Anzen Computing, where he focuses on intrusion detection system integration and security consulting. He has been involved in the deployment of enterprise-wide, distributed security solutions at several large government, corporate, and educational sites. Before joining Anzen, Dug was security administrator with the University of Michigan, where he authored the AF...

Test suite augmentation techniques are used in regression testing to identify code elements in a modified program that are not adequately tested and to generate test cases to cover those elements. A defining feature of test suite augmentation techniques is the potential for reusing existing regression test suites. Our preliminary work suggests that several factors influence the efficiency and e...