Quality Assurance Methods for Model-based Development: A Survey and Assessment
暂无分享,去创建一个
[1] Mirko Conrad,et al. Experiences with model and autocode reviews in model-based software development , 2006, SEAS '06.
[2] Ingo Stürmer,et al. Overview of existing safeguarding techniques for automatically generated code , 2005, ACM SIGSOFT Softw. Eng. Notes.
[3] Thomas Gilb,et al. Software Inspection , 1994 .
[4] Murray Hill,et al. Lint, a C Program Checker , 1978 .
[5] Joachim Wegener,et al. Evolutionary test environment for automatic structural testing , 2001, Inf. Softw. Technol..