A Safety Level DCS Symbol Execution Test Optimization Method
- 8 January 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The Proof Complexity of SMT SolversPublished by Springer Science and Business Media LLC ,2018
- Docker ecosystem – Vulnerability AnalysisComputer Communications, 2018
- SMARTGENPublished by Association for Computing Machinery (ACM) ,2017
- Max-plus fundamental solution semigroups for a class of difference Riccati equationsAutomatica, 2015
- Finding fault with fault injection: an empirical exploration of distortion in fault injection experimentsSoftware Quality Journal, 2014
- Symbolic execution for software testingCommunications of the ACM, 2013
- Symbolic execution and program testingCommunications of the ACM, 1976