Lectures related to Untitled | EPFL Graph Search

Software Testing: Avoiding and Fixing Bugs

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

Property-Based Testing: Advanced Techniques

Explores advanced software testing techniques, including property-based testing, to ensure code correctness and improve software quality.

From Tests to Proof

Explores software engineering concepts, emphasizing the significance of tests and clear specifications in ensuring software correctness.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

Binary Sentiment Classifier Training

Covers the training of a binary sentiment classifier using an RNN.

Testing Actor Systems

Explores testing actor systems, covering principles, Akka's Test Kit, dependencies, interaction with the parent, and actor hierarchies.

Programming Bugs: Understanding, Fixing, and Preventing

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

Testing Actor Systems

Explores testing actor systems, including verifying observable effects and interacting with parent actors.

Digital Project Creation: Conclusion

Covers the process of creating a digital project and concludes with tips for guiding children in project creation.

Machine learning: Basics of data-driven materials modeling

Covers dimensionality reduction and linear regression in data-driven materials modeling.

Software Development: Life Cycle & Methodologies

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

Testing your synapse model in a neuron MOOC: Simulation Neurocience

Explores testing a synapse model in a neuron using NEURON software.

Benchmarking Parallel Programs

Covers testing, benchmarking, performance factors, measurement methodologies, ScalaMeter, JVM warmup, and configuration in parallel programming.

Software Quality: Managing Defects and Testing Strategies Log in to Mediaspace to watch this video

Explores managing defects, testing strategies, and challenges in software quality, with real-world examples and case studies.

Property-Based Testing: Advanced Techniques and Applications Log in to Mediaspace to watch this video

Explores advanced software testing techniques, including property-based testing and various forms of fuzzing, to effectively test complex systems.

Testing Strategies: Code Coverage and Quality Log in to Mediaspace to watch this video

Covers testing strategies, emphasizing code coverage and quality in software development through various testing methodologies and practical examples.

Software Engineering: Development Steps and Error Management Log in to Mediaspace to watch this video

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

Concept Selection and Tradespace Exploration Log in to Mediaspace to watch this video

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

Debugging Log in to Mediaspace to watch this video

Covers testing, TDD, coverage, debugging, naming conventions, comments, and solutions for coding issues.

Software Development: Debugging, Testing, and Code Management Log in to Mediaspace to watch this video

Explores program development, debugging, testing, and code management best practices, emphasizing correctness, documentation, and efficiency.