37:39
The Verification of a Distributed System
Caitie McCaffrey discusses the strategies for proving a correct system and less strenuous methods of testing, which can help increase our confidence that a system is doing the right thing.
48:43
Reaching Production Faster with Containers in Testing
David Xia explains how Helios testing framework drives integration tests and spins up self-contained environments during test runs, increasing Spotify’s code quality and successful deployments.
38:10
TDD is Not Just about Tests
Fabrizio Romano proposes using TDD to transform business requirements into tests, driving code and tests development in harmony.
47:02
Elm: Finding the Functional in Reactive Programming
Claudia Doppioslash discusses some of the useful features of Elm, such as time traveling debugger, immutability, union types, type inference and Functional Reactive Programming.
48:50
RxJS 5 in Depth
Gerard Sans explains RxJS' data architecture based on reactive programming, exploring Observables API using RxJS koans and unit tests. RxJS 5 focuses on performance and usability.
25:21
Improvements for Eclipse JavaScript Tooling
Alexey Kazakov discusses the latest improvements on JSDT -debugging Node.js and browser applications, JSON editing features, integrations with npm and bower-, and the future of the project.
37:24
Best Practices Using The CDT Debugger
Marc Khouzam presents best practices for debugging using dynamic printf, reverse debugging, the GDB console, the standalone debugger, a Docker container and connecting CDT to a running GDB session.
55:17
A CutEr Tool
Kostis Sagonas introduces the idea of concolic unit testing of Erlang programs and the CutEr tool, how it is different, and how it can be used to identify errors in programs in a fully automatic way.
41:39
10 Things You Need to Know about BDD, SpecFlow and Cucumber
Seb Rose discusses BDD, what it is good for and what tools can help, common BDD anti-patterns and myths, as well as advice for starting with it.
48:21
An Introduction to Property Based Testing
Aaron Bedra focuses on describing a system as a series of models that can be used to systematically and automatically generate input data and ensure that a code is behaving as expected.
47:04
Acceptance Testing for Continuous Delivery
Dave Farley discusses using acceptance testing to work quickly and effectively, building functional coverage for complex enterprise-scale systems, and managing and maintaining those tests.
51:19
CD at LMAX: Testing into Production and Back Again
Sam Adams talks about testing at LMAX Exchange, extending functional tests into live monitoring of production through isolation, and moving fast through incremental delivery, quality and automation.
