Program testing is expensive and laborintensive, often consuming more than half of the total development costs, and yet it is frequently not done well and the results are not always satisfactory. However, testing is the primary method to ensure that programs comply with requirements. We describe our on-going project that attempts to completely automate unit testing of objectoriented programs. O...

Testing helps in preserving the quality and reliability of the software component thus ensuring its successful functioning. The task of testing components for which the final output for arbitrary input cannot be known in advance is a challenging task; as sometimes conditions or predicates in the software restrict the input domain Metamorphic testing is an effective technique for testing systems...

This article presents a new formal approach to testing. In the eld of dynamic testing, as soon as a program fails for a test set, it is agged incorrect. The remaining question is: how far can a successful program be considered as correct? We give a de nition of program correctness with respect to a speci cation which is adequate to dynamic testing. Similarly to the eld of abstract implementatio...

BACKGROUND an audio-visual computerized remediation program in students with developmental dyslexia. AIM to verify the efficacy of an audio-visual computerized remediation program in students with developmental dyslexia. The specific goals of this study involved the comparison of the linguistic-cognitive performance of students with developmental dyslexia with that of students considered good...

abstract: current data indicates that the risk of transmilssion of blood-borne pathogens in dental health care settings is low. pre-exposure hepatitis b vaccination and the use of standard precautions to prevent exposure to blood are the most effective strategies for preventing dhcp from occupational infection with hiv, hbv or hcv. dental health care facility should develop a comprehensive writ...

Security testing of software on embedded devices is often impeded for lacking advanced program analysis tools. The main obstacle is that state-of-the-art tools do not support the instruction set of common architectures of embedded device (e.g., MIPS). It requires either developing new program analysis tool aiming to architecture or introducing many manual efforts to help security testing. Howev...