Skip to content
@LavaOps

LaVA-OPs

Laboratory for Variability-Aware Assurance and Testing of Organic Programs

Popular repositories Loading

  1. ssbse-2020-FrDdE ssbse-2020-FrDdE Public

    This repository contains supplementary data for the SSBSE 2020 paper "Using a Genetic Algorithm to Optimize Configurations in a Data-driven Application".

    1

  2. ChemTest ChemTest Public

    Supplemental Data: ASE 2020

  3. CRNRepair CRNRepair Public

    Supplementary Data for GI 2021 Paper

  4. ICSE-2022-Artifacts ICSE-2022-Artifacts Public

    Artifacts for ICSE 2022 Paper: Inference and Test Generation Using Program Invariants in Chemical Reaction Networks

    Python 1

  5. LeakReducer LeakReducer Public

    C

  6. BSSw-Testing BSSw-Testing Public

    Testing Modules BSSw

Repositories

Showing 7 of 7 repositories
  • BSSw-Testing Public

    Testing Modules BSSw

    LavaOps/BSSw-Testing’s past year of commit activity
    0 0 0 0 Updated Jun 7, 2024
  • CORE Public
    LavaOps/CORE’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Oct 22, 2023
  • LeakReducer Public
    LavaOps/LeakReducer’s past year of commit activity
    C 0 0 0 0 Updated Sep 2, 2022
  • ICSE-2022-Artifacts Public

    Artifacts for ICSE 2022 Paper: Inference and Test Generation Using Program Invariants in Chemical Reaction Networks

    LavaOps/ICSE-2022-Artifacts’s past year of commit activity
    Python 0 Apache-2.0 1 0 0 Updated Aug 10, 2022
  • CRNRepair Public

    Supplementary Data for GI 2021 Paper

    LavaOps/CRNRepair’s past year of commit activity
    0 0 0 0 Updated Mar 12, 2021
  • ssbse-2020-FrDdE Public

    This repository contains supplementary data for the SSBSE 2020 paper "Using a Genetic Algorithm to Optimize Configurations in a Data-driven Application".

    LavaOps/ssbse-2020-FrDdE’s past year of commit activity
    1 0 0 0 Updated Oct 5, 2020
  • ChemTest Public

    Supplemental Data: ASE 2020

    LavaOps/ChemTest’s past year of commit activity
    0 0 0 0 Updated Sep 26, 2020

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…