Immediate Impact
1 standout
Citing Papers
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
Works of Ofer Shtrichman being referenced
The Code Validation Tool (CVT)
1998
Author Peers
| Author | Last Decade | Papers | Cites | |||||
|---|---|---|---|---|---|---|---|---|
| Ofer Shtrichman | 6 | 18 | 27 | 26 | 3 | 42 | ||
| J. P. Queille | 3 | 14 | 27 | 50 | 2 | 58 | ||
| Jan Vytopil | 2 | 17 | 22 | 36 | 4 | 45 | ||
| Jörg Niere | 8 | 8 | 21 | 11 | 4 | 45 | ||
| Catherine Dufourd | 3 | 6 | 26 | 44 | 2 | 52 | ||
| François Bourdoncle | 9 | 28 | 24 | 4 | 36 | |||
| Dirk Leinenbach | 1 | 26 | 42 | 24 | 4 | 60 | ||
| David von Oheimb | 11 | 49 | 36 | 3 | 55 | |||
| Timothy P. Hart | 10 | 44 | 22 | 4 | 52 | |||
| Jakob Lichtenberg | 1 | 7 | 25 | 18 | 4 | 38 | ||
| Michael A. Colón | 1 | 7 | 25 | 31 | 3 | 47 |
All Works
Loading papers...