Concepedia
Statistics
Publications
1
Citations
33
H-Index
Active since
2013
Tushar Sanas is an author specializing in formal methods, software maintenance, and static analysis.
Top concepts
EngineeringReliabilityData ScienceVerificationFormal MethodsSoftware DesignStatic AnalysisComputer ScienceProgram AnalysisSoftware Testing
Publications per year
2013–2013
Review efforts reduction by partitioning of static analysis warnings
Tukaram Muske, Ankit Baid, Tushar Sanas · 2013 · 33 citations
Software Maintenance, Manual Review, Engineering +20
1–1 of 1