Teaching Software-engineering Concepts through Industrially Used Tools Early in the Undergraduate Curriculum

Abstract

Dr. Temesghen Kahsai is a research scientist at Carnegie Mellon University Silicon Valley. His research expertise is in the intersection of formal methods and software engineering, with an emphasis on automated reasoning about software systems. He has extensive experience in the development of formal foundations and tools for the analysis of complex critical systems. He is currently leading three projects on contract-based verification of flight critical systems, analysis of heterogeneous software protocols stacks and credible auto-coding of embedded systems. These projects are funded by NASA and NSF.

Integrating Software Testing to CS Curriculum Using WRESTT-CyLE

“…However, there are several examples of applying conceptual learning in software engineering classes within computer science programs [2]. As a specific area of software quality assurance, software-testing education is a little behind in its use of current technology and cyberenabled environments.…”