4
Publications
1.3K
Citations
4
H-Index
2006
Active since
Affiliations
University of California, Davis(Current)
Ghassan Misherghi is an author at University of California, Davis specializing in formal verification, engineering, and computer science.
Top concepts
EngineeringComputer ScienceFormal VerificationData ScienceFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisComputer EngineeringSoftware Engineering
Publications per year
2006–2008
4
4
Ghassan Misherghi, Zhendong Su · 2006 · 255 citations
Techniques for specifying bug patterns
Daniel J. Quinlan, Richard Vuduc, Ghassan Misherghi · 2007 · 10 citations · Full text
Rows per page
1–4 of 4