Immediate Impact
15 standout
Citing Papers
Software Testing With Large Language Models: Survey, Landscape, and Vision
2024 Standout
Trustworthy AI: From Principles to Practices
2022 Standout
Works of Bruno Marre being referenced
Using algebraic specifications in software testing: A case study on the software of an automatic subway
1993
Software testing based on formal specifications: a theory and a tool
1991
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Bruno Marre | 138 | 61 | 55 | 8 | 150 | |
| Hyoung Seok Hong | 88 | 39 | 33 | 7 | 100 | |
| Sergiy Boroday | 149 | 35 | 73 | 7 | 163 | |
| Vladimir Levin | 68 | 50 | 25 | 6 | 109 | |
| Allen Goldberg | 59 | 54 | 28 | 11 | 117 | |
| David Melski | 55 | 53 | 33 | 7 | 107 | |
| Huo Yan Chen | 128 | 22 | 82 | 7 | 148 | |
| Venkatesh-Prasad Ranganath | 66 | 19 | 51 | 8 | 94 | |
| Michael Marcotty | 60 | 44 | 73 | 9 | 166 | |
| Chucky Ellison | 40 | 41 | 27 | 9 | 90 | |
| Jonas Mellin | 60 | 46 | 28 | 7 | 129 |
All Works
Loading papers...