Immediate Impact

2 standout

Citing Papers

An orchestrated survey of methodologies for automated software test case generation
2013 Standout
Symbolic execution for software testing
2013 Standout
1 intermediate paper

Works of Tamarah Arons being referenced

Efficient Symbolic Simulation of Low Level Software
2008

Author Peers

Author Last Decade Papers Cites
Tamarah Arons 25 2 20 12 2 29
Vijay Anand Korthikanti 17 4 14 15 4 32
Mana Taghdiri 16 1 19 6 4 23
William Heaven 16 3 32 23 3 42
Stefan Löwe 21 4 12 16 2 39
Gabriël Konat 25 4 26 22 4 41
Martin Korff 37 1 28 11 3 43
Paul Fiterău-Broştean 27 4 23 7 2 39
Lothar Wendehals 25 5 22 16 3 34
Jörg P. Wadsack 27 5 25 14 3 37
Bernhard Schaetz 18 6 13 7 4 24

All Works

Loading papers...

Rankless by CCL
2026