Immediate Impact
3 standout
Citing Papers
An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation
2023 Standout
Computation Offloading Toward Edge Computing
2019 Standout
Works of Peter Thiemann being referenced
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript.
2012
From sequential programs to multi-tier applications by program transformation
2005
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Peter Thiemann | 273 | 120 | 108 | 60 | 329 | |
| Huibiao Zhu | 116 | 130 | 77 | 84 | 288 | |
| Steve Reeves | 182 | 118 | 122 | 71 | 366 | |
| Augusto Sampaio | 187 | 149 | 114 | 52 | 314 | |
| S. Ramesh | 109 | 142 | 74 | 62 | 348 | |
| Clark Barrett | 200 | 136 | 36 | 38 | 262 | |
| Adel Bouhoula | 243 | 134 | 48 | 34 | 299 | |
| Gerhard Schellhorn | 175 | 155 | 41 | 42 | 301 | |
| Marina Ribaudo | 73 | 168 | 66 | 38 | 306 | |
| Dines Bjørner | 243 | 148 | 128 | 46 | 369 | |
| Claudio Menghi | 126 | 87 | 65 | 48 | 262 |
All Works
Login with ORCID to disown or claim papers
Loading papers...