[Club2] Einladung: Testing with a Verified Oracle: Generating Inputs with Fu... - Mi 4. Nov. 2020 14:00 - 14:20 (MEZ) (club2 at mailbroy.informatik.tu-muenchen.de)

[maximilianhaslbeck at gmail.com]

Sie wurden zum folgenden Termin eingeladen.

Titel: Testing with a Verified Oracle: Generating Inputs with Fuzzing
Speaker: Christopher AßmusType: Bachelor's Thesis PresentationAbstract:  
This thesis introduces a testbed for automated algorithm testing with novel  
features. In the step of input generation a fuzzer is used and instead of  
checking properties or using assertions in the step of evaluation the  
outputs are compared to a reference. This reference is produced by a  
verified algorithm to let the testbed act as a software oracle, giving a  
hint whether the implementation under test may be correct or has bugs. The  
aim of this tool is to be usable in a broad range of applications and  
therefore this testbed utilizes deterministic testing environments that are  
realized using docker containers. The use of docker provides an opportunity  
for scalability and support for the use of remote workers.Alongside  
technical details, the problem that may be solved by this approach is  
specified andresults that were found in a documented use case are  
presented.Based on this use case a methodology is abstracted from the  
applied workflow to be refer-enced by future work with this testbed.
Wann: Mi 4. Nov. 2020 14:00 – 14:20 Mitteleuropäische Zeit - Berlin
Wo: https://bbb.rbg.tum.de/max-tmg-kwp
Kalender: club2 at mailbroy.informatik.tu-muenchen.de
Wer
     * maximilianhaslbeck at gmail.com- Veranstalter
     * club2 at mailbroy.informatik.tu-muenchen.de
     * chris.assmus at tum.de

Termininformationen:  
https://www.google.com/calendar/event?action=VIEW&eid=NThscms5OTI1ODNoZGo3aGZ0b3RtYnQ5Y2kgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTAyZWRiNDA0NTE3ODRiNjczY2Q3YjQ1ZTMzYzM3M2NjNzFlZjM1YWI&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/20201029/3acc8389/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2846 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20201029/3acc8389/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2898 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/club2/attachments/20201029/3acc8389/attachment.bin>