Tomohiko Takagi is an author at Kagawa University specializing in program analysis, formal verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2010–2011
2
2
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata
Fevzi Belli, Mutlu Beyazıt, Tomohiko Takagi et al. · 2011 · 13 citations
Rows per page
1–2 of 2