The Input Validation Testing (IVT) technique has been developed to address the problem of statically analyzing input command syntax as de ned in English textual interface and requirements speci cations and then generating test cases for input validation testing. The technique does not require design or code, so it can be applied early in the lifecycle. A proof-of-concept tool has been implement...

The population and demographics of rural America are shifting once again. As our nation's unprecedented health care reform unfolds, it is becoming clear that rural communities have unique strengths, and capitalizing on these strengths can position them well for this health care transformation. Equally important are the distinct challenges that--with careful planning, attention, and resources--c...

Within the e-government process, needs are identified and people try to come up with ideas for the public sector that will increase the effectiveness as well as lead to cost savings. Consequently, many new electronic services are being developed. As a result, Quality of Service (QoS) becomes an even more critical issue in the domain of electronic services. This paper starts by a general discuss...

In modern software-intensive systems, reliability is considered to be one of the most critical non-functional properties. To build software in a cost-efficient manner, reliability should be analyzed at architecture design time. In this paper, we consider the problem space of, challenges in, and strategies for architecture-based estimation of a software system’s reliability. Architecture-based r...

The efficient and effective allocation of healthcare resources is vital in the UK and elsewhere in Europe, as the pressure of delivering high-quality healthcare within a finite budget increases. Healthcare decision-making must be grounded in evidence and incorporate information about both the costs and benefits (health outcomes) of healthcare interventions. Economic evaluations provide this syn...