432 citations · 1.6k across the 30 of their papers we have counts for
3 papers · 1 filter
Coverage-Based Debloating for Java Bytecode
César Soto-Valero, Thomas Durieux, Nicolas Harrand +1
Software bloat is code that is packaged in an application but is actually not necessary to run the application. The presence of software bloat is an issue for security, for perform…
SmartBugs: A Framework to Analyze Solidity Smart Contracts
João F. Ferreira, Pedro Cruz, Thomas Durieux +1
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and re…
Empirical Study of Restarted and Flaky Builds on Travis CI
Thomas Durieux, Claire Le Goues, Michael Hilton +1
Continuous Integration (CI) is a development practice where developers frequently integrate code into a common codebase. After the code is integrated, the CI server runs a test sui…