Skip to main content

Research

  • Overview of ACCORD

     

    This collaborative planning proposal brings together researchers from Iowa State University and the University of Central Florida to lay the groundwork for a collective research collaborative, A Community for Configurability Open Research and Development (ACCORD), that will help to centralize research on configurability and to create shared approaches, tools and solutions.

      CCRI: 2234908 and 2234909

    Myra B. CohenIowa State UniversityPaul GazzilloUniversity of Central Florida

    Recent Activities:

    1.Jan 2023:Myra Cohen gives talk on ACCORD at TU Denmark Feb 2023:Myra Cohen gives a talk on ACCORD at Dagstuhl Seminar #230822.June 2023Myra Cohen gives a talk on the future of software testing at University of Central Florida

    Related Publications:

  • Opera picture

    Rural broadband is a foundation for a strong rural economy and quality of life, yet 39% of the rural US lacks broadband access, and most agriculture farms are not connected at all. To address the challenge, the project proposes to develop the OPen-source Ecosystem for bRoadband prAirie (OPERA). OPERA will enable researchers to transform their rural broadband research experiments into open-source software, data, and hardware designs that can be integrated with open-source platforms to generate rural-focused broadband solutions. This will enable broadband technology researchers, open-source communities, and rural regions to collaborate in addressing the rural broadband challenge.

  • cicada framework

    The project aims to develop and evaluate automated techniques for  predicting, detecting, diagnosing, and mitigating diverse configuration problems and runtime failures in Small Unmanned Aerial Systems (sUAS).  The LaVAOps contribution to this project involves the modeling, exploration and testing of configurations.  We have been using feature modeling to define the controller configuration space and have been using this for both testing and self adaptation. 

     

     

    (Notre Dame is lead organization)

    Publications

  • CRN represented in Matlab

    Bioinformatics tools, and programming via chemical reaction networks (CRNs), result in simulations of a natural process such as an organism's growth, the interactions between molecules as reactions execute over time.  While these types of abstractions form a powerful and growing computational paradigm, these are encoded as software programs, which simulate the natural processes, and hence they are prone to faults. This project develops foundations for software testing of natural representations. It is developing techniques for  test generation with measurable code and model coverage and designing configuration-aware testing and optimization techniques for these systems.

  • Feature Model for Cell-to-Cell Signalling

    Software Engineering needs to address an increasingly significant class of programs that are self-adaptive and self-healing. These programs sense changes to their environment and react by modifying configurations, libraries or program code. Furthermore, automated approaches for program repair and program transplantation change a program's source code directly to fix, optimize or add new functionality. Together, self-modification provides continual availability in the presence of change and can harden a system against intruders. While this organic nature of self-modification is a powerful paradigm, the overall dependability and security of such programs is at risk.  This project draws inspiration from nature and uses bio-inspired techniques to design testing techniques on these programs.