Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.
Daniel MatichukToby C. MurrayJune AndronickD. Ross JefferyGerwin KleinMark StaplesPublished in: ICSE (1) (2015)
Keyphrases
- empirical studies
- empirical analysis
- real world data sets
- uci datasets
- expected cost
- minimum cost
- minimal cost
- np hard
- communication cost
- data sets
- evolutionary algorithm
- high cost
- reinforcement learning
- artificial intelligence
- cost reduction
- systematic review
- experimental design
- mathematical theory
- formal models
- data mining
- real world