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