3
Publications
498
Citations
3
H-Index
1987
Active since
Affiliations
The University of Texas at Austin(Current)
Tom Kirkland is an author at The University of Texas at Austin specializing in engineering, design for testing, and computer engineering.
Top concepts
EngineeringComputer ScienceSoftware TestingDesign For TestingComputer EngineeringVerificationFormal MethodsProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
1987–1988
3
3
A topological search algorithm for ATPG
Tom Kirkland, M.R. Mercer · 1987 · 267 citations · Full text
Engineering, Computer Architecture, Computational Topology +18
Rows per page
1–3 of 3