What are software properties?

6:30 - The arrival of participants, networking, pizza
7:00 - Ometita Radu - What are software properties?
8:30 - Networking & drinks

Most of the presentations on Property Based Testing that I have attended focus on the technology, some examples, and an exposition of the very compelling reasons why property based testing covers more cases than unit testing.

When you finally want to apply it to your own projects you find out it's not that easy to create property based tests that are both high value and low maintenance (this is similar to the problems automated tests create, and this is not a coincidence).

I think one of the reasons for this is that people don't ask the right questions. Gaining a better understanding of what properties are will greatly improve your ability to test your software, regardless of testing methodology you use since these are generally applicable concepts.