Events
2010.03.06
Zosia 2010: QuickCheck, a property-based approach to software testing (Wroclaw, Poland)
Mietek Bak, Erlang Solutions' employee is taking part in ZOSIA2010 – an annual IT camp in Wroclaw, Poland.
ZOSIA is both a recreational camp and a student conference, that was first held in 1995. At the conference, students present lectures on their current topics of interest, mostly computer science-related. On Saturday, 6th March 2010 Mietek will give a talk on “QuickCheck, a property-based approach to software testing”.
Here is the abstract of Mietek's talk in Polish:
Opowiem o tesknocie za utracona wiara w poprawność kodu, towarzyszacej przesiadce z jezyka ze statycznym systemem typow na jezyk z dynamicznym systemem typow, oraz o probach odzyskania tejze wiary przy uzyciu QuickCheck — biblioteki do automatycznego, deklaratywnego i
stochastycznego testowania oprogramowania.
If you want to download the presentation slides (in Polish) please click here, if you click here you can also download the source code mentioned in slides.
ZOSIA is both a recreational camp and a student conference, that was first held in 1995. At the conference, students present lectures on their current topics of interest, mostly computer science-related. On Saturday, 6th March 2010 Mietek will give a talk on “QuickCheck, a property-based approach to software testing”.
Here is the abstract of Mietek's talk in Polish:
Opowiem o tesknocie za utracona wiara w poprawność kodu, towarzyszacej przesiadce z jezyka ze statycznym systemem typow na jezyk z dynamicznym systemem typow, oraz o probach odzyskania tejze wiary przy uzyciu QuickCheck — biblioteki do automatycznego, deklaratywnego i
stochastycznego testowania oprogramowania.
If you want to download the presentation slides (in Polish) please click here, if you click here you can also download the source code mentioned in slides.
Back to the Events
