Manolis Papadakis
Designer and implementor of the core PropEr system
Manolis Papadakis is a recent graduate of the School of Electrical and Computer Engineering of the National Technical University of Athens, where he majored in Computer Science. He designed and implemented the core PropEr system and the Type Language integration extensions as part of his diploma thesis, under the supervision of professor Kostis Sagonas. He is currently a Ph.D. student at the Department of Computer Science of Stanford University, where he is trying to educate people on
the wonders of Erlang.
the wonders of Erlang.
Manolis Papadakis is Giving the Following Talks
A PropEr Tutorial
Property-based testing is a novel approach to software testing, where the tester needs only specify the generic structure of valid inputs for the program under test, plus certain properties that the program is expected to satisfy for every valid input. PropEr is an open-source tool for property-based testing in Erlang. Its salient feature is that it provides a tight integration of the language of types and specs of Erlang with property-based testing. Any type can be used as a generator and any function spec can be directly used as simple property of a function. In addition, PropEr comes with components for testing stateful applications.
This hands-on tutorial will introduce through examples the support that PropEr provides for property-based testing in Erlang, present some of the common mistakes that novice users do, and will give advice for the proper use of the tool.
Talk objectives: Describe and explain the use of PropEr on some examples.
Target audience: Test-conscious Erlang programmers.
This hands-on tutorial will introduce through examples the support that PropEr provides for property-based testing in Erlang, present some of the common mistakes that novice users do, and will give advice for the proper use of the tool.
Talk objectives: Describe and explain the use of PropEr on some examples.
Target audience: Test-conscious Erlang programmers.