4 papers
Learning Feature Interactions With and Without Specifications
Seyedehzahra Khoshmanesh, Tuba Yavuz, Robyn R. Lutz
Features in product lines and highly configurable systems can interact in ways that are contrary to developers' intent. Current methods to identify such unanticipated feature inter…
Does Link Prediction Help Detect Feature Interactions in Software Product Lines (SPLs)?
Seyedehzahra Khoshmanesh, Robyn Lutz
An ongoing challenge for the requirements engineering of software product lines is to predict whether a new combination of features (units of functionality) will create an unwanted…
Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks
James I. Lathrop, Jack H. Lutz, Robyn R. Lutz +2
We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. More…
Robustness and Games Against Nature in Molecular Programming
Jack H. Lutz, Neil Lutz, Robyn R. Lutz +1
Matter, especially DNA, is now programmed to carry out useful processes at the nanoscale. As these programs and processes become more complex and their envisioned safety-critical a…