Concepedia

Barry C. Rosales

BC

1

Publications

73

Citations

1

H-Index

1981

Active since

Affiliations

IBM (United States)(Current)

Barry C. Rosales is an author at IBM (United States) specializing in program analysis, test automation, and computer engineering.

Top concepts

EngineeringVerificationFormal MethodsTest AutomationComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisDesign For TestingFormal Verification

Publications per year

1981–1981

1

Publications

1

PODEM-X: An Automatic Test Generation System for VLSI Logic Structures

Prabhakar Goel, Barry C. Rosales · 18th Design Automation Conference · 1981 · 73 citations

Engineering, Verification, Vlsi Logic Structures +20

Rows per page

1–1 of 1