A bounded constraint-based approach to aid in fault localization from a counterexample
Sign Up to like & getrecommendations! Published in 2024 at "Innovations in Systems and Software Engineering"
DOI: 10.1007/s11334-024-00558-1
Abstract: A model checker can produce a trace of counter-example for an erroneous program, which is often difficult to exploit for locating faults. In this paper, we propose a fault localization algorithm from counter-examples, named LocFaults,… read more here.
Keywords: fault localization; constraint; bounded constraint; program ... See more keywords
CBLRR: a cauchy-based bounded constraint low-rank representation method to cluster single-cell RNA-seq data
Sign Up to like & getrecommendations! Published in 2022 at "Briefings in bioinformatics"
DOI: 10.1093/bib/bbac300
Abstract: The rapid development of single-cel+l RNA sequencing (scRNA-seq) technology provides unprecedented opportunities for exploring biological phenomena at the single-cell level. The discovery of cell types is one of the major applications for researchers to explore… read more here.
Keywords: seq data; cell; cblrr; low rank ... See more keywords
Bio-ModelChecker: Using Bounded Constraint Satisfaction to Seamlessly Integrate Observed Behavior With Prior Knowledge of Biological Networks
Sign Up to like & getrecommendations! Published in 2019 at "Frontiers in Bioengineering and Biotechnology"
DOI: 10.3389/fbioe.2019.00048
Abstract: The in silico study and reverse engineering of regulatory networks has gained in recognition as an insightful tool for the qualitative study of biological mechanisms that underlie a broad range of complex illness. In the… read more here.
Keywords: constraint satisfaction; observed behavior; network; bounded constraint ... See more keywords