Software verification and validation

Applied sciences
Computer engineering
Software development
Software development process

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (29)

Page 3 of 3

Automated Testing: Fuzzing and Sanitization

Explores fuzzing, bug oracles, code reviews, and automated testing techniques, emphasizing the importance of sanitization in detecting faults.

Training and Testing Games

Emphasizes the importance of separating training and testing data for machine learning models.

Software Engineering: Best Practices

Covers tools and best practices for software writing, debugging, testing, and managing code.

Traffic flow modeling: Developing and testing traffic models

Covers the fundamentals of traffic flow modeling, including model classification and testing techniques.

Object-Oriented Programming: Tic-Tac-Toe Case Study

Explores encapsulation and abstraction in object-oriented programming through a Tic-Tac-Toe case study, highlighting the benefits of data encapsulation and controlled access.

Predicate Logic: Basics and Applications

Covers the basics and applications of predicate logic, including quantifiers, predicates, and propositional functions.

Internship Insights: Enhancing Code Generation with LLMs

Details an internship project focused on improving code generation accuracy using large language models and a new framework called EPIGEN.

Software Engineering: Development Steps and Error Management

Covers the essential aspects of software engineering, focusing on understanding the steps of program development and error management.

Deep Learning: Designing Neural Network Models

Covers the design and optimization of neural network models in deep learning.