Statistical prioritization for software product line testing: an experience report

Error bounds for convolutional codes and an asymptotically optimum decoding algorithm

Andrew J. Viterbi · IEEE Transactions on Information Theory · 1967 · 6.8K citations

Engineering, Computer Science, Electrical Engineering +14

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Computing, Computer Engineering, Computer Science +12

Anomaly-based network intrusion detection: Techniques, systems and challenges

Pedro García‐Teodoro, Jesús E. Dı́az-Verdejo, Gabriel Maciá‐Fernández et al. · Computers & Security · 2008 · 2K citations

Computing, Computer Engineering, Computer Science +12

A taxonomy of model‐based testing approaches

Mark Utting, Alexander Pretschner, Bruno Legeard · Software Testing Verification and Reliability · 2011 · 619 citations · Full text

Engineering, Systems Engineering, Model-based Systems Engineering +13

A Markov chain model for statistical software testing

J. A. Whittaker, Michael G. Thomason · IEEE Transactions on Software Engineering · 1994 · 417 citations

Computing, Computer Science, Quality Engineering +14