CLSE: Closed-Loop Symbolic Execution.
Rupak MajumdarIndranil SahaK. C. ShashidharZilong WangPublished in: NASA Formal Methods (2012)
Keyphrases
- closed loop
- symbolic execution
- test generation
- open loop
- test data generation
- static analysis
- control system
- specification language
- control scheme
- feedback control
- source code
- data flow
- control law
- parameter identification
- test cases
- asymptotic stability
- simulated annealing algorithm
- general purpose
- tracking error
- genetic algorithm