SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.
Luiz CarvalhoRenzo DegiovanniMaxime CordyNazareno AguirreYves Le TraonMike PapadakisPublished in: ICSE (2024)
Keyphrases
- boundary conditions
- model checking
- bounded model checking
- linear temporal logic
- temporal logic
- sufficient conditions
- shape from shading
- linear time temporal logic
- sat solvers
- deterministic automata
- boundary value problem
- reaction diffusion
- poisson equation
- deformation field
- finite element model
- blood flow
- fixed point theorem
- navier stokes equations
- quantified boolean formulas
- finite element method
- spline interpolation
- texture synthesis
- orders of magnitude