Research on program correctness 并列题名：Research on program correctness research on british comedy cinema research on citizen video news research on Errol Morris' works research methods for business research on frontiers in computing research on the social history controversy