Huascar Sanchez

Huascar Sanchez

SRI International - California / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4458427
-
person_outline Huascar Sanchez's MOST POPULAR ARTICLES
1-) JayHorn: A Framework for Verifying Java programs Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
2-) Detecting similar programs via the Weisfeiler-Leman graph kernel Software Reuse: Bridging with Social-Awareness: 15th International …, 2016
3-) Detecting similar programs via the Weisfeiler-Leman graph kernel Software Reuse: Bridging with Social-Awareness: 15th International …, 2016
4-) Software patterns, knowledge maps, and domain analysis CRC Press, 2015
5-) Software verification games: Designing Xylem, The Code of Plants. FDG, 2014