Search
Now showing items 1-9 of 9
Software test and evaluation project, phases III and IV
(Georgia Institute of Technology, 1983)
Experimental and theoretical research on program mutation
(Georgia Institute of Technology, 1985)
Software test and evaluation study phase I and II : survey and analysis
(Georgia Institute of Technology, 1985)
Models of computation and algorithms
(Georgia Institute of Technology, 1982)
Foundations of determinixtic (i.e. deterministic) scheduling of programs for parallel execution
(Georgia Institute of Technology, 1980)
Metainduction and program mutation: realistic software validation
(Georgia Institute of Technology, 1979)
Foundations of secure computation
(Georgia Institute of Technology, 1978)
Research in graph theoretic models of control & data structures
(Georgia Institute of Technology, 1977)
Model theory of algorithmic logics
(Georgia Institute of Technology, 1981)