From Tests to Proof

Related lectures (26)

Page 1 of 3

Explores the shift from software testing to formal specifications, highlighting the significance of clear requirements in software engineering.

Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

Explores the software development life cycle, methodologies, tech choices, agile practices, and common tech industry terms.

Emphasizes the critical role of software testing in preventing and resolving bugs during development.

Covers software engineering essentials, emphasizing requirements, modularity, and abstraction, with practical insights and examples.

Explores software development processes, comparing Waterfall model with Agile methods, focusing on Scrum, values, principles, and team roles.

Explores concept selection, Pugh Matrix method, preliminary design reviews, system integration, and verification in systems engineering.

Covers the 'V-Model' of Systems Engineering, emphasizing good requirements, system architecture, concept generation, and concept selection.

Explores programming challenges, debugging techniques, software testing, and security practices in software development.