The UAW believes that NTP should explore additional options for testing of chemicals beyond inclusion on this test list, and for funding this testing while using NTP protocols. In particularly, the UAW urges NTP to explore with EPA the use of authority under the Toxic Substances Control Act to promulgate test rules to compel producers of chemicals to provide funding for bioassays. In addition, ...

In vitro testing: In vitro testing was performed using DIMSCAN, a semiautomatic fluorescencebased digital image microscopy system that quantifies viable (using fluorescein diacetate [FDA]) cell numbers in tissue culture multiwell plates [1]. Cells were incubated in the presence of drug for 96 hours. Mean fluorescence values were determined for each concentration tested and then normalized to th...

Program slicing is a technique for automatically identifying the statements of a program which a ect a selected subset of its variables. A large program can be divided into a number of smaller programs (its slices), each constructed for di erent variable subsets. The slices are typically simpler than the original program, thereby simplifying the process of testing a property of the program whic...

We propose an integrated framework to test and monitor code generated from hybrid models for embedded systems. The framework consists of the following elements: First, we create testing automata as a controlled environment to produce test traces achieving the desired testing criteria; Second, we synthesize monitoring automata from the behavior specification to check the run-time behavior of the...

Research in aspect-oriented software testing has resulted in many approaches as reported in literature. A few papers have devoted to literature survey in this field of research. However, the survey only focuses on certain selected topic and particular approaches rather than providing a comprehensive set of references that cover most of the work related to aspect-oriented software testing as a w...

BACKGROUND The Ministry of Health (hereafter, Ministry) of Trinidad and Tobago is responsible for delivery of all health services in the country. The Ministry takes responsibility for direct delivery of care in the public sector and has initiated a process whereby those seeking HIV test results could obtain confidential reports during a single-visit to a testing location. The Ministry requested...

In this paper, we explore the testing-verification relationship with the objective of mechanizing the generation of test data. We consider program classes defined as recursive program schemes and we show that complete and finite test data sets can be associated with such classes, that is to say that these test data sets allow us to distinguish every two different functions in these schemes. Thi...

Until very recently, research in software reliability has divided quite neatly into two usually warring camps: methodologies with a mathematical basis and methodologies without such a basis. In the former view, “reliability” is identified wi+h “correctness” and the principle tocl has been formal and informal verification [ 11. In the latter view, “reliability” is taken to mean the ability to me...

The correctness of program verification systems is of great importance, and it needs to be checked and demonstrated to users and certification agencies. One of the contributing factors to the correctness of the whole verification system is the correctness of the background axiomatization, respectively the correctness of calculus rules. In this paper, we examine how testing verification systems ...

8:50am–9:40am Cliff Burgess (McMaster/Perimeter Institute) Effective field theories and modified gravity: A bad cop wrapped in a wet blanket standing in a cold shower 9:40-10:30 Norbert Wex (MPI, Bonn) Tests of gravity from radio pulsars 10:30-10:50 Coffee break 10:50-11:40 Pedro Ferreira (Oxford) Testing general relativity with cosmology 11:40-12:30 Nicolas Yunes (Montana State) Gravitational ...