Alex Groce

Identifiers

• name variant Alex Groce 0.60 · backfill

Papers (5)

1. Provenance and Pseudo-Provenance for Seeded Learning-Based Automated Test Generation stat.ML · 2017 · author #1
2. Data Poisoning: Lightweight Soft Fault Injection for Python cs.SE · 2016 · author #2
3. Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery cs.SE · 2016 · author #2
4. Bounded Model Checking and Feature Omission Diversity cs.SE · 2016 · author #2
5. An Entry Point for Formal Methods: Specification and Analysis of Event Logs cs.SE · 2010 · author #2

Mentions

• 1003.1682 #2 · backfill · confidence 0.70 Alex Groce

Frequent Coauthors

• Mohammad Amin Alipour 3 shared papers
• Anahita Sanadaji 1 shared papers
• Chaoqiang Zhang 1 shared papers
• Gokul Caushik 1 shared papers
• Howard Barringer 1 shared papers
• Josie Holmes 1 shared papers
• Klaus Havelund 1 shared papers
• Margaret Smith 1 shared papers