E-Books durchsuchen

Dependable Software Engineering. Theories, Tools, and Applications [2022]

1
HashC: Making DNNs’ Coverage Testing Finer and Faster
2
<italic>MTUL</italic>: Towards Mutation Testing of Unsupervised Learning Systems
3
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
4
VM Migration and Live-Update for Reliable Embedded Hypervisor
5
Mastery: Shifted-Code-Aware Structured Merging
6
KCL: A Declarative Language for Large-Scale Configuration and Policy Management
7
EqFix: Fixing LaTeX Equation Errors by Examples
8
Translating CPS with Shared-Variable Concurrency in SpaceEx
9
A Contract-Based Semantics and Refinement for Simulink
10
Decidability of Liveness for Concurrent Objects on the TSO Memory Model
11
Integration of Multiple Formal Matrix Models in Coq
12
On-The-Fly Bisimilarity Checking for Fresh-Register Automata
13
LOGIC: A Coq Library for Logics
14
Diversifying a Parallel SAT Solver with Bayesian Moment Matching
Feedback