D. Chamberlain

  • Citations Per Year
Learn More
Decision procedures are widely used in software development and verification. The goal of this dissertation is to increase the scope of properties that can be verified using decision procedures. To achieve this goal, we identify three improvements over the state of the art in decision procedures, and their use in software reliability tools. First, we(More)
................................................................................................................................................ v LIST OF TABLES ................................................................................................................................... vii LIST OF FIGURES(More)
This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performing those processes manually is often tedious, time consuming and error prone. The main challenge that(More)
The human use of electronic displays (television or computers), also known as “screen time,” is currently a topic of great interest within behavior medicine and general clinical research. This behavior has been linked with a wide variety of pathologies, including obesity, circadian disruption, sleeping disorders, cardiometabolic disease, and(More)
  • 1