Watch WHY_SPAR/SEPAL forked from shay/SEPAL

SEPAL是一个面向人机物融合应用感知决策双保障的运行平台，提供平台配套的统一编程框架，以方便开发者便捷开发此类应用并在运行时刻监控并从可信感知及决策两个角度保障应用运行质量。

Watch WHY_SPAR/GenTool

This is a tool with UIs for generating GEAS's s-conditions automatically.

Watch WHY_SPAR/GEAS

This is GEAS implementation (including GEAS-ori and GEAS-opt) for our TSE'21 paper.

Watch WHY_SPAR/CMID forked from 可持续演化的智能化软件理论、方法和技术/CMID

CMID环境上下文处理平台，南京大学

Watch WHY_SPAR/dissector

This repo covers the implementation of the following ICSE 2020 paper, "DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer Dissection " (DISSECTOR).

Watch WHY_SPAR/MG

This is the artifact for our ISSRE paper MG

Watch WHY_SPAR/LooCo-src

This is the artifact for our FSE paper "Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints"

Watch WHY_SPAR/INFUSE

This is the artifact for our JSS and ICSME paper on INFUSE

Watch shay/SEPAL

SEPAL是一个面向人机物融合应用感知决策双保障的运行平台，提供平台配套的统一编程框架，以方便开发者便捷开发此类应用并在运行时刻监控并从可信感知及决策两个角度保障应用运行质量。

Watch Yang Rong/Frame