849 citations · 883 across the 11 of their papers we have counts for
Showing 2016 · cs.SEShow all
3 papers · 2 filters
cs.SE2016
Data Poisoning: Lightweight Soft Fault Injection for Python
Mohammad Amin Alipour, Alex Groce
This paper introduces and explores the idea of data poisoning, a light-weight peer-architecture technique to inject faults into Python programs. This method requires very small mod…
cs.SE2016★ 4 cited
Bounded Model Checking and Feature Omission Diversity
Mohammad Amin Alipour, Alex Groce
In this paper we introduce a novel way to speed up the discovery of counterexamples in bounded model checking, based on parallel runs over versions of a system in which features ha…
cs.SE2016★ 2 cited
Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery
Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang +2
In this paper, we present a novel marriage of static and dynamic analysis. Given a large code base with many functions and a mature test suite, we propose using static analysis to…