T. Reps, Teitelbaum, T. « The Synthesizer Generator [1] » () — « (ibid.) », dans In SDE 1 Proc. of the first ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments
doi.org
dx.doi.org
(en) T. Teitelbaum, « The Cornell Program Synthesizer: A syntax-directed programming environment », Communications of the ACM, vol. 24, no 9, september, 1981, p. 563–573 (DOI10.1145/358746.358755)
D. Guaspari « Penelope, an Ada verification system » () (DOI10.1145/74261.74277) — « (ibid.) », dans TRI-Ada '89: Proceedings of the conference on Tri-Ada '89, Pittsburgh, PA, ACM, p. 216–224
eetimes.com
(en) Richard A. Quinnell, « Static analysis stomps on bugs », EETimes, (lire en ligne, consulté le )
(en) Raoul Jetley et Paul Anderson, « Using static analysis to evaluate software in medical devices », EETimes, (lire en ligne)
T. Reps, Horowitz, S., Sagiv, M., and Rosay, G. « Speeding Up Slicing [2] » () (consulté le ) — « (ibid.) », dans Proc. Second ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans, LA, USA
G. Balakrishnan, Reps, T. « Analyzing memory accesses in x86 executables [3] » () — « (ibid.) », dans Proc. Int. Conf. on Compiler Construction, New York, NY, Springer-Verlag, p. 5–23
J. Lim, Reps, T. « A system for generating static analyzers for machine instructions [4] » () — « (ibid.) », dans Proc. Int. Conf. on Compiler Construction (CC), New York, NY, Springer-Verlag