Learn More
Many modern software systems are designed to be highly configurable, which increases flexibility but can make programs hard to test, analyze, and understand. We present an initial empirical study of how configuration options affect program behavior. We conjecture that, at certain levels of abstraction, configuration spaces are far smaller than the worst(More)
Software configurability has many benefits, but it also makes programs much harder to test, as in the worst case the program must be tested under every possible configuration. One potential remedy to this problem is combinatorial interaction testing (CIT), in which typically the developer selects a strength t and then computes a covering array containing(More)
With the goal of investigating and enhancing anode performance in bulk-heterojunction (BHJ) organic photovoltaic (OPV) cells, the glass/tin-doped indium oxide (ITO) anodes are modified with a series of robust silane-tethered bis(fluoroaryl)amines to form self-assembled interfacial layers (IFLs). The modified ITO anodes are characterized by contact angle(More)
The ionization potentials (IPs) and electron affinities (EAs) of widely used conjugated polymers are evaluated by cyclic voltammetry (CV) in conventional electrochemical and lithium-ion battery media, and also by ultraviolet photoelectron spectroscopy (UPS) in vacuo. By comparing the data obtained in the different systems, it is found that the IPs of the(More)
To achieve densely packed charge-selective organosilane-based interfacial layers (IFLs) on the tin-doped indium oxide (ITO) anodes of organic photovoltaic (OPV) cells, a series of Ar2N-(CH2)n-SiCl3 precursors with Ar = 3,4-difluorophenyl, n = 3, 6, 10, and 18, was synthesized, characterized, and chemisorbed on OPV anodes to serve as IFLs. To minimize(More)
This discussion paper is/has been under review for the journal Atmospheric Chemistry and Physics (ACP). Please refer to the corresponding final paper in ACP if available. Abstract An aerosol model optimized for East Asia is improved by applying inversion data from both long-term monitoring of the Aerosol Robotic Network (AERONET) sun photome-ter and the(More)
Many modern software systems are designed to be highly configurable, which makes testing them a challenge. One popular approach is combinato-rial configuration testing, which, given an interaction strength t, computes a set of configurations to test such that all t-way combinations of option settings appear at least once. Basically, this approach assumes(More)