Immediate Impact
8 standout
Citing Papers
The Oracle Problem in Software Testing: A Survey
2014 Standout
Symbolic execution for software testing
2013 Standout
Works of Moonjoo Kim being referenced
Runtime Assurance Based On Formal Specifications
1999
MaC: A Framework for Run-Time Correctness Assurance of Real-Time Systems
1998
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Moonjoo Kim | 90 | 68 | 37 | 78 | 9 | 158 | |
| S. Gerhart | 83 | 111 | 25 | 90 | 11 | 197 | |
| Jamieson M. Cobleigh | 99 | 84 | 22 | 77 | 10 | 185 | |
| Vijay D’Silva | 90 | 96 | 43 | 90 | 14 | 218 | |
| Stuart Faulk | 79 | 80 | 52 | 72 | 9 | 172 | |
| Gilles Audemard | 134 | 48 | 15 | 118 | 8 | 188 | |
| Vladimir Levin | 50 | 68 | 17 | 54 | 6 | 109 | |
| Stefan Schwoon | 161 | 66 | 20 | 131 | 13 | 208 | |
| Sung Deok | 49 | 122 | 17 | 37 | 14 | 168 | |
| Henny B. Sipma | 167 | 82 | 37 | 109 | 14 | 199 | |
| Gleb Naumovich | 30 | 38 | 32 | 55 | 10 | 129 |
All Works
Loading papers...