CAV
2015
Springer
8 years 25 days ago
2015
Springer
Abstract. SAE Aerospace Information Report 6110, “Contiguous Aircraft/System Development Process Example,” follows the development of a complex wheel brake system (WBS) using p...
CAV
2015
Springer
8 years 25 days ago
2015
Springer
CAV
2015
Springer
8 years 25 days ago
2015
Springer
Abstract. We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the...