Marius Smytzek

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: 2024.esec-fse.org/details/fse-20…

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: 2024.esec-fse.org/details/fse-20…

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: 2024.esec-fse.org/details/fse-20…

@NVIDIAGeForceDE #RTXSUPER

Wir geben dir die Möglichkeiten, eine einzigartige GeForce RTX 4080 SUPER mit der Unterschrift von Jensen Huang, CEO und Gründer von NVIDIA, zu gewinnen 👀. ⚫Kommentiere #RTXSUPER ⚫Like diesen Beitrag

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! dl.acm.org/doi/10.1145/36…