1
Publications
17
Citations
1
H-Index
1988
Active since
Affiliations
United States Air Force Academy(Current)
J.R. Jenkins is an author at United States Air Force Academy specializing in software engineering, compilers, and formal verification.
Top concepts
CompilersEngineeringVerificationFormal MethodsBinary AnalysisTest GenerationComputer ScienceProgram AnalysisSoftware SystemsSoftware Testing
Publications per year
1988–1988
1
1
Test-case generation with IOGen
Timothy E. Lindquist, J.R. Jenkins · IEEE Software · 1988 · 17 citations
Rows per page
1–1 of 1