Rainer Gerlich

Learn More
Research has brought a number of different methods for automated test and test data generation in the last decades. These methods range from simple applications such as random testing, to complex analysis systems, such as constraint-based methods. While research on these methods has been extensive, industrial application to large-scale systems is still(More)
In order to cope with varying, non-settled requirements, to cover the needs of the onboard target and the scientific ground platforms, and to make software development more efficient, an approach has been applied to the software of the MSL (Material Science Laboratory) project [1] which allows for automated generation and early validation of the distributed(More)
" Freedom and autonomy are critical to our well-being, and choice is critical to freedom and autonomy. Nonetheless, though modern Americans have more choice than any group of people ever has before, and thus, presumably, more freedom and autonomy, we don't seem to be benefiting from it psychologically. " ABSTRACT Over the last forty years, researchers have(More)
Social media sites such as Facebook and Twitter have come to dominate internet usage in recent years. Facebook alone has over 550 million users as of Fall 2010, while Twitter claims over 100 million users. While academia was fairly quick to adopt online education models in the 1990s, it has thus far not yet embraced social media portals as a way to deliver(More)
This research explores the impact of students' ability to adjust to school environment at a residential accelerated upper-level high school for math and science. Students in their junior and senior years were given the DISC (Dominance, Influence, Steadiness, Conscientiousness) behavioral instrument and tracked over a two year period. The DISC has been used(More)