Chapter 3
Compositional Test Case GenerationThis chapter incorporates compositional reasoning into the CLP-based TCG framework introduced in Chapter 2. Moreover, a novel compositional approach that leverages program specialization is presented. Our results have been