R. Nicholas Gerlich

Fatal Software Failures in Spaceflight

Christian R. Prause, R. Nicholas Gerlich, Rainer Gerlich

Space exploration has become an integral part of modern society, and since its early days in the 1960s, software has grown in importance, becoming indispensable for spaceflight. However, software is boon and bane: while it enables unprecedented functionality and cost reductions and …

de (code pays fourni par la source)

Finest Magic Cloth or a Naked Emperor? The SKQuest Data Set on Software Metrics for Improving Transparency and Quality

Christian R. Prause, R. Nicholas Gerlich

Software development has a problem with transparency/visibility. As an intangible product, software and its intermediate development results are hard to see or touch. Customers of custom software have difficulties checking progress, and risk coming out with costly but low-quality software. In the …

de (code pays fourni par la source)

Subjective norms and social media: predicting ethical perception and consumer intentions during a secondary crisis

Meagan E. Brock Baskin, Timothy A. Hart, Akhilesh Bajaj, R. Nicholas Gerlich et autres

When firms face crisis, the instant and open channels of social media communication create a double-edged sword. While corporations can more quickly communicate with stakeholders, any missteps will have drastic and nearly immediate repercussions. What are the relationships among social media, subjective …

us (code pays fourni par la source)

Optimizing the Parameters of an Evolutionary Algorithm for Fuzzing and Test Data Generation

R. Nicholas Gerlich, Christian R. Prause

Communication interfaces are particularly challenging to test using automatically generated test data. The test data sent through the interface must be ”valid enough” to overcome initial sanity checks of the interface and reach functions deep inside the integrated software. Machine-readable information about …

Verification of the C++-Operating System RODOS in Context of a Small-Satellite

Rainer Gerlich, R. Nicholas Gerlich, Karsten Gordon, Merlin F. Barschke et autres

Within the small satellite mission TechnoSat of Technische Universitaet Berlin, a verification strategy based on Dynamic Analysis has been applied to the C++-operating system RODOS using automated massive stimulation of the softwareunder- test. This approach is aiming at evaluating the robustness of …

Evaluating Automated Software Verification Tools

Christian R. Prause, Rainer Gerlich, R. Nicholas Gerlich

Automated software verification tools support developers in detecting faults that may lead to runtime errors. A fault in critical software that slips into the field, e.g., into a spacecraft, may have fatal consequences. However, there is an enormous variety of free and …

de (code pays fourni par la source)

Evaluating Test Data Generation for Untyped Data Structures Using Genetic Algorithms

R. Nicholas Gerlich, Christian R. Prause

Untyped data such as the byte streams used in communications between spacecraft and ground stations present a specifically challenging field for automatic test data generation. We investigate variations of genetic algorithms to improve test data generation, and present measurements and preliminary results …

Early Results from Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software

R. Nicholas Gerlich, Rainer Gerlich, Anton Fischer, Mário Pinto et autres

Six software verification tools have been applied to space flight software and the findings reported by each tool have been compared in order to derive footprints of the tools regarding capabilities of fault identification. Currently available results are provided in this paper: …

Moral Mapping: Transcendence in Religious Iconography

Sarah Vartabedian, Kristina Drumheller, R. Nicholas Gerlich

In Clarendon, Texas, a debate emerged over the material (re)presentation of Christianity in the form of 10-foot crosses morally mapping the cultural landscape. To analyze the rhetoric of moral mapping, we examine how the transcendental embodiment of faith structures the landscape and …

Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software

Christian R. Prause, R. Nicholas Gerlich, Rainer Gerlich, Anton Fischer

Mastering the continuously increasing amount of software requires identification of more efficient strategies for software verification. Currently, fault coverage is only indirectly addressed, e.g. by code coverage. The idea as presented in this paper is to get a better understanding of fault …

The Effect of Socially Mediated Public Relations Crises on Planned Behavior: How TPB Can Help Both Corporations and Nonprofits

Emily S. Kinsky, Kristina Drumheller, R. Nicholas Gerlich, Meagan E. Brock-Baskin et autres

Lowe's decision to pull advertising from All-American Muslim and Susan G. Komen for the Cure's announcement of new granting criteria impacting Planned Parenthood prompted angry outcries, as well as apologies, on social media. Through 2 online surveys, this study gauges people's thoughts …

us (code pays fourni par la source)

An Assessment of the Impact of Racially Homogeneous Reference Groups on Strength of Ethnic Affiliation for Black Consumers

Suresh Gopalan, R. Nicholas Gerlich

us (code pays fourni par la source)