Property-Based Testing: Advanced Techniques and Applications

Related lectures (26)

Page 2 of 3

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

Covers Google Test, Pytest, Git submodule/subtree, and Python file manipulation.

Focuses on project planning, execution, and key user involvement for effective project management.

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

Explores the history of computing, automated testing, TDD, test coverage, bug reports, and debugging.

Covers compilation, linking, external libraries, Doxygen documentation, and Google Test for C++ unit testing.

Discusses unit testing for Java arrays and methods to find min, average, and sort.

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

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

Covers object-oriented programming in Java through a case study on modeling watch mechanisms.