The range of verification problems that can be solved with logic model checking tools has increased significantly in the last few decades. This increase in capability is based on algorithmic advances and new theoretical insights, but it has also benefitted from the steady increase in processing speeds and main memory...
In this paper we discuss the application of a range of techniques to the
verification of mission-critical flight software at NASA’s Jet Propulsion Laboratory.
For this type of application we want to achieve a higher level of confidence than can
be achieved through standard software testing. Unfortunately, given the current...
Aggressive random testing tools (“fuzzers”) are impressively effective
at finding compiler bugs. For example, a single test-case
generator has resulted in more than 1,700 bugs reported for a single
JavaScript engine. However, fuzzers can be frustrating to use:
they indiscriminately and repeatedly find bugs that may not be severe
enough...
One in four Ecuadorians do not have access to health services; while more than two-thirds have no health insurance and insufficient resources to pay for the health care services they might require. The following three studies examined utilization of health care services using Andersen’s Health Care Utilization Behavior Theory. Secondary...
The main goal of automated test generation is to improve the reliability of a program by exposing faults to developers. To this end, testing should cover the largest possible portion of the program given a test budget (i.e., time and resources) as frequently as possible. Coverage of a program entity...
Software testing is a very important task during software development and it can be used to improve the quality and reliability of the software system. One potential way to reduce the cost and increase the efficiency of software testing is to generate test data automatically. Search-based approaches successfully generate unit...