Immediate Impact
1 standout
Citing Papers
An orchestrated survey of methodologies for automated software test case generation
2013 Standout
Works of Lev Nachmanson being referenced
Optimal strategies for testing nondeterministic systems
2004
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Lev Nachmanson | 13 | 7 | 10 | 10 | 7 | 31 | |
| John Havlicek | 8 | 9 | 16 | 10 | 8 | 39 | |
| Bernd Westphal | 7 | 14 | 24 | 10 | 8 | 35 | |
| Jan Leike | 9 | 24 | 13 | 5 | 10 | 32 | |
| William S. Moses | 5 | 6 | 5 | 3 | 6 | 30 | |
| Soheil Behnezhad | 11 | 23 | 9 | 8 | 37 | ||
| Peter-Michael Osera | 2 | 13 | 7 | 14 | 5 | 27 | |
| Ravi Chugh | 3 | 12 | 4 | 9 | 10 | 33 | |
| Warren Schudy | 4 | 14 | 10 | 7 | 37 | ||
| Christopher Colby | 2 | 20 | 14 | 9 | 7 | 40 | |
| Charith Mendis | 7 | 12 | 2 | 5 | 10 | 34 |
All Works
Loading papers...