Return to Article Details A framework for automatic search and reusage of API functions based on formal specification Download Download PDF