ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

1,544 results

Cube Drone
Oops! All Integration Tests!

what happened to all of the unit tests? find out in this SLEUTHIN' MYSTERY #programming.

7:00
Oops! All Integration Tests!

625 views

11 months ago

TLA+ - The Temporal Logic of Actions
Model-based testing with TLA+ and Apalache - Andrey Kupriyanov & Igor Konnov

https://conf.tlapl.us/2020/09-Kuprianov_and_Konnov-Model-based_testing_with_TLA_+_and_Apalache.pdf.

29:50
Model-based testing with TLA+ and Apalache - Andrey Kupriyanov & Igor Konnov

1,438 views

5 years ago