14 citations · 53 across the 12 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022★ 2 cited
Metamorphic Testing for Web System Security
Nazanin Bayati Chaleshtari, Fabrizio Pastore, Arda Goknil +1
Security testing aims at verifying that the software meets its security properties. In modern Web systems, however, this often entails the verification of the outputs generated whe…
cs.SE2022★ 14 cited
ETAP: Energy-aware Timing Analysis of Intermittent Programs
Ferhat Erata, Arda Goknil, Eren Yıldız +4
Energy harvesting battery-free embedded devices rely only on ambient energy harvesting that enables stand-alone and sustainable IoT applications. These devices execute programs whe…