Marius Smytzek

[Andreas Zeller @AndreasZeller]

Efficient code coverage for Android! Our new ANDROLOG tool gets fine-grained coverage from #Android apps, instrumenting up to 98% of recent Android apps. Designed for simplicity, it is available as open source. Demo at #FSE2024 on Wednesday 16:00-18:00: https://t.co/p3e78uk9RT

[Andreas Zeller @AndreasZeller]

A benchmark for Python testing and repair tools! Our new TESTS4PY benchmark includes 73 bugs from seven real-world #Python applications, including oracles and support for both system and unit test generation. Demo at #FSE2024 on Wednesday 16:00-18:00: https://t.co/00bOmBbQKq

[Andreas Zeller @AndreasZeller]

Input grammars for fuzzing and test generation! We introduce symbolic parsing, a technique to extract input grammars _statically_ from code, without requiring any input samples. First experiments show an accuracy of 99-100%. Find us Thu 17:00 at FSE 2024: https://t.co/RpN467N9sh

[Marius Smytzek @MSmytzek]

@NVIDIAGeForceDE #RTXSUPER

[Andreas Zeller @AndreasZeller]

Semantic Debugging! We present AVICENNA, a tool to automatically determine precise causes + conditions of software failures: “The program fails if the given <length> is larger than the <payload> length.” Meet us today 5pm at @FSEconf! https://t.co/Q8JB9f2Rdw