Alex Groce

4.6k total citations
99 papers, 2.4k citations indexed

About

Alex Groce is a scholar working on Software, Information Systems and Computational Theory and Mathematics. According to data from OpenAlex, Alex Groce has authored 99 papers receiving a total of 2.4k indexed citations (citations by other indexed papers that have themselves been cited), including 92 papers in Software, 52 papers in Information Systems and 21 papers in Computational Theory and Mathematics. Recurrent topics in Alex Groce's work include Software Testing and Debugging Techniques (88 papers), Software Reliability and Analysis Research (62 papers) and Software Engineering Research (50 papers). Alex Groce is often cited by papers focused on Software Testing and Debugging Techniques (88 papers), Software Reliability and Analysis Research (62 papers) and Software Engineering Research (50 papers). Alex Groce collaborates with scholars based in United States, Germany and Israel. Alex Groce's co-authors include Rahul Gopinath, Carlos Jensen, Mohammad Amin Alipour, Sagar Chaki, Chaoqiang Zhang, Rajeev Joshi, Willem Visser, E. M. Clarke, John Regehr and Gustavo Grieco and has published in prestigious journals such as IEEE Transactions on Software Engineering, IEEE Transactions on Reliability and ACM SIGPLAN Notices.

In The Last Decade

Alex Groce

99 papers receiving 2.3k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Alex Groce United States	29	1.9k	1.4k	496	477	413	99	2.4k
Shuvendu K. Lahiri United States	22	1.3k 0.7×	1.1k 0.8×	538 1.1×	360 0.8×	311 0.8×	72	1.9k
Işıl Dillig United States	27	1.2k 0.6×	1.3k 0.9×	1.2k 2.5×	338 0.7×	700 1.7×	98	2.4k
Wolfram Schulte United States	29	1.4k 0.8×	1.1k 0.8×	1.0k 2.1×	647 1.4×	819 2.0×	117	2.7k
Jeff Perkins United States	14	1.1k 0.6×	1.0k 0.7×	705 1.4×	190 0.4×	540 1.3×	22	1.8k
Kuo‐Chung Tai United States	22	1.4k 0.8×	698 0.5×	543 1.1×	435 0.9×	654 1.6×	90	2.2k
P. Madhusudan United States	23	681 0.4×	703 0.5×	1.2k 2.4×	858 1.8×	408 1.0×	85	1.9k
Siau‐Cheng Khoo Singapore	18	737 0.4×	1.2k 0.9×	503 1.0×	230 0.5×	435 1.1×	67	1.5k
Manu Sridharan United States	26	1.5k 0.8×	1.4k 1.0×	1.3k 2.6×	271 0.6×	855 2.1×	77	2.8k
Julian Dolby United States	26	1.2k 0.6×	1.2k 0.9×	947 1.9×	151 0.3×	970 2.3×	83	2.5k
Benoît Baudry France	27	1.5k 0.8×	1.4k 1.0×	1.0k 2.1×	93 0.2×	544 1.3×	126	2.3k

Countries citing papers authored by Alex Groce

Since Specialization

Citations

This map shows the geographic impact of Alex Groce's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Alex Groce with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Alex Groce more than expected).

Fields of papers citing papers by Alex Groce

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Alex Groce. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Alex Groce. The network helps show where Alex Groce may publish in the future.

Co-authorship network of co-authors of Alex Groce

This figure shows the co-authorship network connecting the top 25 collaborators of Alex Groce. A scholar is included among the top collaborators of Alex Groce based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Alex Groce. Alex Groce is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Goues, Claire Le, et al.. (2024). Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proceedings of the ACM on software engineering.. 1(FSE). 654–674. 3 indexed citations

2.

Alon, Uri, et al.. (2023). Contextual Predictive Mutation Testing. 250–261. 4 indexed citations

3.

Groce, Alex, et al.. (2022). First, Fuzz the Mutants. 1 indexed citations

4.

Groce, Alex, et al.. (2022). Making no-fuss compiler fuzzing effective. 194–204. 6 indexed citations

5.

Kim, Soomin, et al.. (2021). SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. 227–239. 105 indexed citations

6.

Dewey, Kyle, et al.. (2020). A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. 510–517. 4 indexed citations

7.

Groce, Alex, et al.. (2018). Target Selection for Test-Based Resource Adaptation. abs 703 198. 458–469. 4 indexed citations

8.

Groce, Alex & Stefan Leue. (2017). Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies. Electronic Proceedings in Theoretical Computer Science. 259. 1 indexed citations

9.

Groce, Alex, Mohammad Amin Alipour, & Rahul Gopinath. (2014). Coverage and Its Discontents. 255–268. 20 indexed citations

10.

Gopinath, Rahul, Carlos Jensen, & Alex Groce. (2014). Mutations: How Close are they to Real Faults?. 189–200. 64 indexed citations

11.

Groce, Alex, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, & John Regehr. (2014). Cause Reduction for Quick Testing. 243–252. 39 indexed citations

12.

Gligoric, Milos, et al.. (2013). Comparing non-adequate test suites using coverage criteria. 302–313. 96 indexed citations

13.

Groce, Alex, Chaoqiang Zhang, Mohammad Amin Alipour, et al.. (2013). Help, help, i'm being suppressed! The significance of suppressors in software testing. 390–399. 8 indexed citations

14.

Groce, Alex & Madanlal Musuvathi. (2011). Proceedings of the 18th international SPIN conference on Model checking software. 1 indexed citations

15.

Groce, Alex. (2009). (Quickly) testing the tester via path coverage. 22–28. 12 indexed citations

16.

Blanc, Nicolas, et al.. (2006). Verifying C++ with STL Containers via Predicate Abstraction. Repository for Publications and Research Data (ETH Zurich). 506. 1 indexed citations

17.

Chaki, Sagar, E. M. Clarke, Alex Groce, et al.. (2004). Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design. 25(2-3). 129–166. 33 indexed citations

18.

Chaki, Sagar, E. M. Clarke, Alex Groce, Somesh Jha, & H. Veith. (2004). Modular verification of software components in C. IEEE Transactions on Software Engineering. 30(6). 388–402. 164 indexed citations

19.

Chaki, Sagar, E. M. Clarke, Alex Groce, Sumit Kumar Jha, & H. Veith. (2003). Modular verification of software components in C. 385–395. 56 indexed citations

20.

Groce, Alex & Willem Visser. (2002). Model checking Java programs using structural heuristics. ACM SIGSOFT Software Engineering Notes. 27(4). 12–21. 45 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact