A Model-Based Approach to Testing Software Control Systems Described by Linear Differential Equations.
Pawel SkruchMarek DlugoszWojciech MitkowskiMarcin SzelestPublished in: PCC (2) (2023)
Keyphrases
- differential equations
- control system
- dynamical systems
- software testing
- test cases
- runge kutta
- difference equations
- numerical solution
- ordinary differential equations
- numerical integration
- software development
- linear systems
- brownian motion
- boundary value problem
- testing process
- software systems
- test suite
- transmission line
- numerical methods
- pairwise
- source code