Specification-based testing aims to test the functionality of software according to the applicable requirements. What does specialization-based testing aim to test