A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests of Event-Driven Software

Modern software application testing, such as the testing of software driven by graphical user interfaces (GUIs) or leveraging event-driven architectures in general, requires paying careful attention to context. Model-based testing (MBT) approaches first acquire a model of an application, then use the model to construct test cases covering relevant contexts. A major shortcoming of state-of-the-art automated model-based testing is that many test cases proposed by the model are not actually executable. These \textit{infeasible} test cases threaten the integrity of the entire model-based suite, and any coverage of contexts the suite aims to provide. In this research, I develop and evaluate a novel approach for classifying the feasibility of test cases. I identify a set of pertinent features for the classifier, and develop novel methods for extracting these features from the outputs of MBT tools. I use a supervised logistic regression approach to obtain a model of test case feasibility from a randomly selected training suite of test cases. I evaluate this approach with a set of experiments. The outcomes of this investigation are as follows: I confirm that infeasibility is prevalent in MBT, even for test suites designed to cover a relatively small number of unique contexts. I confirm that the frequency of infeasibility varies widely across applications. I develop and train a binary classifier for feasibility with average overall error, false positive, and false negative rates under 5\%. I find that unique event IDs are key features of the feasibility classifier, while model-specific event types are not. I construct three types of features from the event IDs associated with test cases, and evaluate the relative effectiveness of each within the classifier. To support this study, I also develop a number of tools and infrastructure components for scalable execution of automated jobs, which use state-of-the-art container and continuous integration technologies to enable parallel test execution and the persistence of all experimental artifacts.

Online Supplement to ‘Myopic Allocation Policy with Asymptotically Optimal Sampling Rate’

This document is the Online Supplement to ‘Myopic Allocation Policy with Asymptotically Optimal Sampling Rate,’ to be published in the IEEE Transactions of Automatic Control in 2017.

The Origins and Legacy of a Currency Board in Argentina

This is a qualitative case study of the adoption of a currency board in Argentina in 1991. It presents a discursive analysis and intellectual history of four overlaying and mutually influencing stories of Convertibility’s adoption. It is (1) the story of how Menem aligned himself to the Washington Consensus as a means to win a Presidential election. This ideological alignment influences and is influenced by a (2) reconstitution of the Peronist Party’s historically entrenched identity. This in turn re-fashion the whole system of interest articulation and relative power of interest groups in Argentina. The adoption of a currency board also marks the pace of (3) the entrenchment neoliberal interests across a domestic network of neoliberal think-tanks, technocrats, politicians, and “technopoles” articulating neoliberal interests outside of the Washington Consensus, within an International Neoliberal Network. Argentina’s adoption of a currency board falls in line with the Corner Solutions, a neoliberal doctrine promoted to influence developing countries to adopt two forms of exchange rate regimes that allow for less government involvement, including a currency board. Argentina starts as a test country and then becomes (4) an ideological stepping stone to help promote the creation of currency boards across more “developing” countries. These stories are not sequential but concurrent, and they help advance an alternative critique of neoliberalism that focuses on specifics to induce case-specific lessons versus a theory claiming to provide any universal truth.

CERVIXCHECK: A SPIRITUALLY-BASED SMS TEXT MESSAGING PILOT INTERVENTION TO INCREASE CERVICAL CANCER AWARENESS AND PAP TEST SCREENING INTENTION AMONG AFRICAN AMERICAN WOMEN

African American women account for a disproportionate burden of cervical cancer incidence and mortality rate when compared to non-Hispanic White women. Cervical cancer is one of the most preventable types of cancer, and women can be screened for it with a routine Pap test. Given that religion occupies an essential place in African American lives, framing health messages with important spiritual themes and delivering them through a popular communication delivery channel may allow for a more culturally-relevant and accessible technology-based approach to promoting cervical cancer educational content to African American women. Using community-engaged research as a framework, the purpose of this multiple methods study was to develop, pilot test, and evaluate the feasibility, acceptability, and initial efficacy of a spiritually-based SMS text messaging intervention to increase cervical cancer awareness and Pap test screening intention among African American women. The study recruited church-attending African American women ages 21-65 and was conducted in three phases. Phases 1 and 2 consisted of a series of focus group discussions (n=15), cognitive response interviews (n=8), and initial usability testing that were conducted to inform the intervention development and modifications. Phase 3 utilized a non-experimental one-group pretest-posttest design to pilot test the 16-day text messaging intervention (n=52). Of the individuals enrolled, forty-six completed the posttest (retention rate=88%). Findings provided evidence for the early feasibility, high acceptability, and some initial efficacy of the CervixCheck intervention. There were significant pre-post increases observed for knowledge about cervical cancer and the Pap test (p = .001) and subjective norms (p = .006). Additionally, results post-intervention revealed that 83% of participants reported being either “satisfied” or “very satisfied” with the program and 85% found the text messages either “useful” or “very useful”. 85% of the participants also indicated that they would “likely” or “very likely” share the information they learned from the intervention with the women around them, with 39% indicating that they had already shared some of the information they received with others they knew. A spiritually-based SMS text messaging intervention could be a culturally appropriate and cost-effective method of promoting cervical cancer early detection information to African American women.