Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Lecture
Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture covers different testing approaches, leveraging fuzzing for software testing, input generation and mutation, bug oracles, code reviews, and various types of automated testing. It also discusses static analysis, formal verification, model checking, symbolic execution, concolic execution, and the challenges of symbolic execution. The lecture delves into the obstacles faced by fuzzers, input generation techniques, and the importance of sanitization in detecting faults and bugs. It concludes with a summary emphasizing the inevitability of bugs in code and the importance of testing techniques like manual testing, formal verification, and fuzzing to discover bugs before deployment.