A Formal Logic Approach to Constrained Combinatorial Testing

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

A Greedy Heuristic for the Set-Covering Problem

Vašek Chvátal · Mathematics of Operations Research · 1979 · 2.6K citations

Natural Sciences, Computer Science, Mathematics +17

The AETG system: an approach to testing based on combinatorial design

David Cohen, Siddhartha R. Dalal, Michael L. Fredman et al. · IEEE Transactions on Software Engineering · 1997 · 1K citations

Engineering, Computer Engineering, Systems Engineering +13

Software fault interactions and implications for software testing

D. Richard Kuhn, Dolores R Wallace, Al Gallo · IEEE Transactions on Software Engineering · 2004 · 789 citations

Computing, Computer Science, Fault-tolerant Computing +12

Model-based testing in practice

Siddhartha R. Dalal, Ashish Jain, N. Karunanithi et al. · 1999 · 512 citations · Full text

Social Sciences, Health Sciences, Health Services Research +6