Vue d'ensemble
G茅nie 茅lectrique : Introduction to automated software analysis and testing techniques. Foundations of program analysis, software fault models, and test coverage models. Development and design of automated program analysis and test generation techniques.
Terms: This course is not scheduled for the 2024-2025 academic year.
Instructors: There are no professors associated with this course for the 2024-2025 academic year.
