Lectures related to HexHive: Research and Impact

Software Security Vulnerabilities: Case Studies

Explores various software security vulnerabilities and the challenges of testing large codebases.

Automated Testing: Fuzzing and Sanitization

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

Software Engineering Fundamentals

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

Property-Based Testing: Advanced Techniques and Applications

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

Software Quality: Managing Defects and Testing Strategies

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

Software Quality: Stop Worrying, Love the Tests

Explores software quality, defect management, testing importance, and real-world examples of bug impacts.

Course Projects: Expectations and Deadlines

Discusses project types, expectations, outcomes, deadlines, and practical advice for students.

Property-Based Testing: Advanced Techniques

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

Software Security: Security Testing - Sanitizers

Explores the use of sanitizers in software security testing to detect bugs early and improve testing effectiveness.

Programming Bugs: Understanding, Fixing, and Preventing

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

Software Testing: Avoiding and Fixing Bugs

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

Automated Testing: Strategies and Best Practices

Explores automated testing strategies, including code coverage and various testing techniques, to ensure reliable software development.

Testing Strategies: Code Coverage and Quality

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

Software Engineering: Best Practices

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

Property-Based Testing: QuickChick

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

VLSI Testing: Techniques and Economics

Explores test techniques for digital VLSI systems, covering fault modeling, test-pattern generation, and design for testability.

Software security - Security testing

Covers software security testing approaches and coverage metrics.

Testing your synapse model in a neuron

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

Security Testing and Spoofing

Covers security testing techniques, spoofing vulnerabilities, encryption bans, and network security properties.

Zero Days Vulnerability: Security Breaches on Personal Devices

Explores zero days vulnerability, ethical hacking, cyber attacks, and defense strategies against cyber threats.