Tingting Yu

Ein Workshop, der darauf abzielt, die Lücke zwischen RE- und Test-Experten zu schliessen.

Eine Studie über die Reduzierung von Gasgebühren in Ethereum durch Optimierung von Smart Contracts.

Ein automatisiertes Tool prüft Smart Contracts auf ERC-Konformität und verbessert die Sicherheit.

Diese Studie zeigt, wie Sprachmodelle versteckte Bugs in mobilen Apps finden können.

Fehler suchen mit coolen Techniken und Technologien einfacher machen.