Concepedia

Rigorous examination of reactive systems

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Păsăreanu

International Journal on Software Tools for Technology Transfer · 2014 · 44 citations · 23 references

DOI

Concepts

References

23

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Symbolic execution and program testing

James C. King · Communications of the ACM · 1976 · 3K citations · Full text

, , +10

Learning regular sets from queries and counterexamples

Dana Angluin · Information and Computation · 1987 · 2.1K citations

, , +10

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

, , +13

Dynamically discovering likely program invariants to support program evolution

Michael D. Ernst, Jake Cockrell, William G. Griswold et al. · IEEE Transactions on Software Engineering · 2001 · 1K citations

, , +13