Projected state machine coverage for software testing

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

Better verification through symmetry

C. Norris Ip, David L. Dill · Formal Methods in System Design · 1996 · 491 citations

Natural Sciences, Physics, Theoretical Physics +9

Protocol testing

Gregor von Bochmann, Alexandre Petrenko · 1994 · 227 citations · Full text

Computing, Computer Science, Computer Systems +12

Debugging Ada Tasking Programs

D. Heimbold, D Luckham · IEEE Software · 1985 · 202 citations

Computing, Computer Science, Parallel Computing +6

UML-Based integration testing

Jean Hartmann, Claudio Imoberdorf, Michael Meisinger · 2000 · 172 citations · Full text

Computing, Computer Science, Software Engineering +15