ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

11,336 results

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,440 views

5 years ago

wikipedia tts
Software testing | Wikipedia audio article

This is an audio version of the Wikipedia Article: https://en.wikipedia.org/wiki/Software_testing 00:02:36 1 Overview 00:04:58 1.1 ...

1:17:02
Software testing | Wikipedia audio article

57 views

7 years ago