Concepedia

Shimono

SH

1

Publications

817

Citations

1

H-Index

1983

Active since

Affiliations

The University of Osaka(Current)

Shimono is an author at The University of Osaka specializing in formal methods, computer engineering, and test generation.

Top concepts

EngineeringFormal MethodsTest AutomationTest GenerationComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisDesign For Testing

Publications per year

1983–1983

1

Publications

1

On the Acceleration of Test Generation Algorithms

Fujiwara, Shimono · IEEE Transactions on Computers · 1983 · 817 citations

Test Generation Algorithms, Engineering, Computer Architecture +19

Rows per page

1–1 of 1