Integrating Software Analysis,Testing, and Verification into the Undergraduate Computer Science Curriculum |
| |
| Authors: | Branson W Murrill |
| |
| Institution: | Department of Science Teaching Weizmann Institute of Science Rehovot Israel |
| |
| Abstract: | Software analysis, testing, and verification (ATV) is a major activity in the real world of software development, yet it remains underemphasized in the undergraduate computer science curriculum at most colleges and universities. This paper discusses the importance of software ATV and its relationship to other subject areas in computer science. Concepts, terminology, and techniques from software ATV are presented, and examples are given to show how they may be integrated into the undergraduate computer science curriculum. |
| |
| Keywords: | |
|
|
