Test data generation and symbolic execution of programs as an aid to program validation.

A program testing system

ACM '76 Proceedings of the 1976 annual conference

Symbolic execution of alloy models

ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering

Staged symbolic execution

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Ranged Model Checking

ACM SIGSOFT Software Engineering Notes

Scaling symbolic execution using ranged analysis

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Scaling symbolic execution using staged analysis

Innovations in Systems and Software Engineering