BT

Your opinion matters! Please fill in the InfoQ Survey!

You are now in FULL VIEW
CLOSE FULL VIEW

A CutEr Tool
Recorded at:

| by Kostis Sagonas Follow 0 Followers on Jun 19, 2016 |

A note to our readers: As per your request we have developed a set of features that allow you to reduce the noise, while not losing sight of anything that is important. Get email and web notifications by choosing the topics you are interested in.

55:17

Summary
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.

Sponsored Content

Bio

Kostis Sagonas is an academic who has been heavily involved in the development of Erlang since 1999. At Uppsala University, he led the development team of the HiPE native code compiler that nowadays is part of Erlang/OTP. Besides HiPE, he has designed and implemented tools for Erlang (dialyzer, typer, tidier, proper, ...) and has contributed bug fixes to many open-source Erlang projects.

The Erlang Factory is an event that focuses on Erlang - the computer language that was designed to support distributed, fault-tolerant, soft-realtime applications with requirements for high availability and high concurrency. The main part of the Factory is the conference - a two-day collection of focused subject tracks with an enormous opportunity to meet the best minds in Erlang and network with experts in all its uses and applications.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT