[Club2] Einladung: Testing with a Verified Oracle: Developing a Framework an... - Mi 28. Okt. 2020 14:00 - 14:20 (MEZ) (club2 at mailbroy.informatik.tu-muenchen.de)

Fri Oct 23 13:29:00 CEST 2020

Sie wurden zum folgenden Termin eingeladen.

Titel: Testing with a Verified Oracle: Developing a Framework and  
Generating Test Cases via Symbolic Execution
Speaker: Benjamin RickelsType: Bachelor's Thesis PresentationAbstract:  
Testing remains one of the most prevalent means of ensuring software  
reliability.To simplify the testing process we develop a framework that  
automates executingtest cases and comparing the results against those of a  
(formally verified) referenceimplementation, the so-called (test) oracle.  
We motivate decisions made concerning thedesign of the framework and  
explain how this approach differs from other methodsof verifying program  
correctness. We also analyze how symbolic execution allowsus to generate  
test cases that can then be used to find potential errors in the  
testedimplementations, and how this test case generation can be integrated  
into the testingframework.
Wann: Mi 28. Okt. 2020 14:00 – 14:20 Mitteleuropäische Zeit - Berlin
Wo: https://bbb.rbg.tum.de/max-tmg-kwp

Teilnahmeinformationen: Teilnehmen mit: Google Meet
https://meet.google.com/vrz-peye-uvb

Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
     * maximilianhaslbeck at gmail.com- Veranstalter
     * benjamin.rickels at tum.de
     * club2 at mailbroy.informatik.tu-muenchen.de
     * haslbema at in.tum.de

Termininformationen:  
https://www.google.com/calendar/event?action=VIEW&eid=NTlndjZtaWhpcHVvajc5M2tqMGs4aGc0ZmEgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWFmYzRkZDcxZmE3NjZkMWE5YmExZmQ5YTdkNjkzNTAzZjYzMDVjYmE&ctz=Europe%2FBerlin&hl=de&es=0

Einladung von Google Kalender: https://www.google.com/calendar/

Sie erhalten diese E-Mail unter club2 at mailbroy.informatik.tu-muenchen.de,  
da Sie ein Gast bei diesem Termin sind.

Lehnen Sie diesen Termin ab, um keine weiteren Informationen zu diesem  
Termin zu erhalten. Sie können auch unter https://www.google.com/calendar/  
ein Google-Konto erstellen und Ihre Benachrichtigungseinstellungen für  
Ihren gesamten Kalender steuern.

Wenn Sie diese Einladung weiterleiten, kann jeder Empfänger eine Antwort an  
den Organisator senden und zur Gästeliste hinzugefügt werden. Außerdem  
könnte er weitere Nutzer einladen und Ihre Antwort ändern. Weitere  
Informationen: https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20201023/db65150f/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2694 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20201023/db65150f/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2746 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20201023/db65150f/attachment.bin>