3 citations · 4 across the 2 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2025
WhatsCode: Large-Scale GenAI Deployment for Developer Efficiency at WhatsApp
Ke Mao, Timotej Kapus, Cons T Åhs +5
The deployment of AI-assisted development tools in compliance-relevant, large-scale industrial environments represents significant gaps in academic literature, despite growing indu…
cs.SE2020
Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts
Ákos Hajdu, Naghmeh Ivaki, Imre Kocsis +5
Blockchain has become particularly popular due to its promise to support business-critical services in very different domains (e.g., retail, supply chains, healthcare). Blockchain…
cs.SE2017★ 3 cited
Towards Evaluating Size Reduction Techniques for Software Model Checking
Gyula Sallai, Ákos Hajdu, Tamás Tóth +1
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to…