Myra B. Cohen

Orcid: 0000-0003-2443-2425

Affiliations:
  • Iowa State University, Ames, IA, USA
  • University of Nebraska, Lincoln, NE, USA (former)


According to our database1, Myra B. Cohen authored at least 112 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Design and Implementation of ARA Wireless Living Lab for Rural Broadband and Applications.
CoRR, 2024

CoDefeater: Using LLMs To Find Defeaters in Assurance Cases.
CoRR, 2024

Exploration of Failures in an sUAS Controller Software Product Line.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

It's Organic: Software Testing of Emerging Domains (Keynote).
Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

MorphQ++: A Reproducibility Study of Metamorphic Testing on Quantum Compilers.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024

Traceback: A Fault Localization Technique for Molecular Programs.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

SynBioTrace: Integrating Safety and Security Artifacts to Build Assurance Cases for Synthetic Biology Applications.
Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society, 2024

HIFuzz: Human Interaction Fuzzing for Small Unmanned Aerial Vehicles.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2024

2023
Self-Adaptive Mechanisms for Misconfigurations in Small Uncrewed Aerial Systems.
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

ARA PAWR: Wireless Living Lab for Smart and Connected Rural Communities.
Proceedings of the 29th Annual International Conference on Mobile Computing and Networking, 2023

CORE: Comparable, Open, Reliable, Extensible Software: An Experience Report of Four Flux Balance Analysis Tools.
Proceedings of the 14th ACM International Conference on Bioinformatics, 2023

2022
Bringing Together Configuration Research: Towards a Common Ground.
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Inference and Test Generation Using Program Invariants in Chemical Reaction Networks.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
The IEEE 12th International Conference on Software Testing, Verification & Validation.
Softw. Test. Verification Reliab., 2021

An empirical investigation of organic software product lines.
Empir. Softw. Eng., 2021

HyperGI: Automated Detection and Repair of Information Flow Leakage.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

CRNRepair: Automated Program Repair of Chemical Reaction Networks.
Proceedings of the 10th IEEE/ACM International Workshop on Genetic Improvement, 2021

Partial Specifications for Program Repair.
Proceedings of the 10th IEEE/ACM International Workshop on Genetic Improvement, 2021

2020
Genetic Improvement @ ICSE 2020.
ACM SIGSOFT Softw. Eng. Notes, 2020

Using a Genetic Algorithm to Optimize Configurations in a Data-Driven Application.
Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

ChemTest: An Automated Software Testing Framework for an Emerging Paradigm.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019
Special issue on systems and software product line engineering.
J. Syst. Softw., 2019

DNA as features: organic software product lines.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

The maturation of search-based software testing: successes and challenges.
Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019

2018
A hybrid approach to testing for nonfunctional faults in embedded systems using genetic algorithms.
Softw. Test. Verification Reliab., 2018

EvoIsolator: Evolving Program Slices for Hardware Isolation Based Security.
Proceedings of the Search-Based Software Engineering - 10th International Symposium, 2018

Modeling and testing a family of surgical robots: an experience report.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

The Assurance Recipe: Facilitating Assurance Patterns.
Proceedings of the Computer Safety, Reliability, and Security, 2018

An evolutionary approach for analyzing Alloy specifications.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Configurations in Android testing: they matter.
Proceedings of the 1st International Workshop on Advances in Mobile App Analysis, 2018

Navigating the maze: the impact of configurability in bioinformatics software.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

2017
End-to-end molecular communication channels in cell metabolism: an information theoretic study.
Proceedings of the 4th ACM International Conference on Nanoscale Computing and Communication, 2017

EventFlowSlicer: a tool for generating realistic goal-driven GUI tests.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

The Evolutionary Landscape of SBST: A 10 Year Perspective.
Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

BioSIMP: Using Software Testing Techniques for Sampling and Inference in Biological Organisms.
Proceedings of the 12th IEEE/ACM International Workshop on Software Engineering for Science, 2017

2016
Test case prioritization of build acceptance tests for an enterprise cloud application: An industrial case study.
J. Syst. Softw., 2016

Scaling up the Fitness Function for Reverse Engineering Feature Models.
Proceedings of the Search Based Software Engineering - 8th International Symposium, 2016

EventFlowSlicer: goal based test generation for graphical user interfaces.
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Understanding Git history: a multi-sense view.
Proceedings of the 8th International Workshop on Social Software Engineering, 2016

Budgeted testing through an algorithmic lens.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

The Assurance Timeline: Building Assurance Cases for Synthetic Biology.
Proceedings of the Computer Safety, Reliability, and Security, 2016

VDTest: an automated framework to support testing for virtual devices.
Proceedings of the 38th International Conference on Software Engineering, 2016

Why Do We Always Blame The Storage Stack?
Proceedings of the 8th USENIX Workshop on Hot Topics in Storage and File Systems, 2016

2015
Practical Combinatorial Interaction Testing: Empirical Findings on Efficiency and Early Fault Detection.
IEEE Trans. Software Eng., 2015

Directed test suite augmentation: an empirical investigation.
Softw. Test. Verification Reliab., 2015

GitSonifier: using sound to portray developer conflict history.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Users beware: preference inconsistencies ahead.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Piecing together app behavior from multiple artifacts: A case study.
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Making System User Interactive Tests Repeatable: When and What Should We Control?
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014
Reducing Masking Effects in CombinatorialInteraction Testing: A Feedback DrivenAdaptive Approach.
IEEE Trans. Software Eng., 2014

Moving Forward with Combinatorial Interaction Testing.
Computer, 2014

Beyond the rainbow: self-adaptive failure avoidance in configurable systems.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

PrefFinder: getting the right preference in configurable software systems.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Hybrid Directed Test Suite Augmentation: An Interleaving Framework.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Configurations everywhere: implications for testing and debugging in practice.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Failure Avoidance in Configurable Systems through Feature Locality.
Proceedings of the Assurances for Self-Adaptive Systems, 2013

An orchestrated survey of methodologies for automated software test case generation.
J. Syst. Softw., 2013

Introduction to the special issue on search based software engineering.
Empir. Softw. Eng., 2013

Analysis, Test and Verification in The Presence of Variability (Dagstuhl Seminar 13091).
Dagstuhl Reports, 2013

Continuous test suite augmentation in software product lines.
Proceedings of the 17th International Software Product Line Conference, 2013

Efficiency and early fault detection with lower and higher strength combinatorial interaction testing.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

A Study in Prioritization for Higher Strength Combinatorial Testing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Human performance regression testing.
Proceedings of the 35th International Conference on Software Engineering, 2013

Automated testing of GUI applications: models, tools, and controlling flakiness.
Proceedings of the 35th International Conference on Software Engineering, 2013

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems.
Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013


2012
AutoInSpec: Using Missing Test Coverage to Improve Specifications in GUIs.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Integration Testing of Software Product Lines Using Compositional Symbolic Execution.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Easing the generation of predictive human performance models from legacy systems.
Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

2011
GUI Interaction Testing: Incorporating Event Context.
IEEE Trans. Software Eng., 2011

Evaluating improvements to a meta-heuristic search for constrained interaction testing.
Empir. Softw. Eng., 2011

Using feature locality: can we leverage history to avoid failures during reconfiguration?
Proceedings of the 8th Workshop on Assurances for Self-Adaptive Systems, 2011

Feedback driven adaptive combinatorial testing.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Feature Interaction Faults Revisited: An Exploratory Study.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Regression testing in Software as a Service: An industrial case study.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

2010
Improving the Testing and Testability of Software Product Lines.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Directed test suite augmentation: techniques and tradeoffs.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Repairing GUI Test Suites Using a Genetic Algorithm.
Proceedings of the Third International Conference on Software Testing, 2010

Combinatorial test design in practice.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Factors affecting the use of genetic algorithms in test suite augmentation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

A self-adjusting code cache manager to balance start-up time and memory usage.
Proceedings of the CGO 2010, 2010

2009
Interaction Coverage Meets Path Coverage by SMT Constraint Solving.
Proceedings of the Testing of Software and Communication Systems, 2009

Incremental covering array failure characterization in large configuration spaces.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Reducing Field Failures in System Configurable Software: Cost-Based Prioritization.
Proceedings of the ISSRE 2009, 2009

Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008
Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach.
IEEE Trans. Software Eng., 2008

Constructing strength three covering arrays with augmented annealing.
Discret. Math., 2008

Configuration-aware regression testing: an empirical study of sampling and prioritization.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007
Towards incremental adaptive covering arrays.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Covering array sampling of input event sequences for automated gui testing.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Interaction testing of highly-configurable systems in the presence of constraints.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization.
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

2006
Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces.
IEEE Trans. Software Eng., 2006

Testing across configurations: implications for combinatorial testing.
ACM SIGSOFT Softw. Eng. Notes, 2006

Coverage and adequacy in software product line testing.
Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Probe Distribution Techniques to Profile Events in Deployed Software.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

Clustering the heap in multi-threaded applications for improved garbage collection.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006

2005
A framework of greedy methods for constructing interaction test suites.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004
Ladder orderings of pairs and RAID performance.
Discret. Appl. Math., 2004

A deterministic density algorithm for pairwise interaction coverage.
Proceedings of the IASTED International Conference on Software Engineering, 2004

2003
Optimal and pessimal orderings of Steiner triple systems in disk arrays.
Theor. Comput. Sci., 2003

Augmenting Simulated Annealing to Build Interaction Test Suites.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Constructing Test Suites for Interaction Testing.
Proceedings of the 25th International Conference on Software Engineering, 2003

Variable Strength Interaction Testing of Components.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002
Kirkman triple systems of order 21 with nontrivial automorphism group.
Math. Comput., 2002

2001
Ordering disks for double erasure codes.
Proceedings of the Thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2001

Cluttered Orderings for the Complete Graph.
Proceedings of the Computing and Combinatorics, 7th Annual International Conference, 2001


  Loading...