| Smart greybox fuzzing VT Pham, M Böhme, AE Santosa, AR Căciulescu, A Roychoudhury IEEE Transactions on Software Engineering 47 (9), 1980-1997, 2019 | 160 | 2019 |
| TRACER: A symbolic execution tool for verification J Jaffar, V Murali, JA Navas, AE Santosa Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 147 | 2012 |
| An interpolation method for CLP traversal J Jaffar, AE Santosa, R Voicu Principles and Practice of Constraint Programming-CP 2009: 15th …, 2009 | 86 | 2009 |
| Unbounded symbolic execution for program verification J Jaffar, JA Navas, AE Santosa Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 60 | 2012 |
| A CLP proof method for timed automata J Jaffar, A Santosa, R Voicu 25th IEEE International Real-Time Systems Symposium, 175-186, 2004 | 47 | 2004 |
| Scalable distributed depth-first search with greedy work stealing J Jaffar, AE Santosa, RHC Yap, KQ Zhu 16th IEEE International Conference on Tools with Artificial Intelligence, 98-103, 2004 | 46 | 2004 |
| Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints. J Jaffar, AE Santosa, R Voicu AAAI 8, 297-303, 2008 | 44 | 2008 |
| Out of sight, out of mind? How vulnerable dependencies affect open-source projects GAA Prana, A Sharma, LK Shar, D Foo, AE Santosa, A Sharma, D Lo Empirical Software Engineering 26, 1-34, 2021 | 31 | 2021 |
| A machine learning approach for vulnerability curation Y Chen, AE Santosa, AM Yi, A Sharma, A Sharma, D Lo Proceedings of the 17th International Conference on Mining Software …, 2020 | 24 | 2020 |
| Path-sensitive backward slicing J Jaffar, V Murali, JA Navas, AE Santosa Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 21 | 2012 |
| A coinduction rule for entailment of recursively defined properties J Jaffar, AE Santosa, R Voicu Principles and Practice of Constraint Programming: 14th International …, 2008 | 21 | 2008 |
| Modeling systems in CLP J Jaffar, AE Santosa, R Voicu Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005 | 20 | 2005 |
| Automated identification of libraries from vulnerability data Y Chen, AE Santosa, A Sharma, D Lo Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 14 | 2020 |
| Concurrent programming made easy R Ramirez, AE Santosa, RHC Yap Proceedings Sixth IEEE International Conference on Engineering of Complex …, 2000 | 12 | 2000 |
| A CLP method for compositional and intermittent predicate abstraction J Jaffar, AE Santosa, R Voicu Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006 | 11 | 2006 |
| ApproxSymate: Path sensitive program approximation using symbolic execution H De Silva, AE Santosa, NM Ho, WF Wong Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on …, 2019 | 9 | 2019 |
| Curracurrong: a stream programming environment for wireless sensor networks V Kakkad, S Attar, AE Santosa, A Fekete, B Scholz Software: Practice and Experience 44 (2), 175-199, 2014 | 9 | 2014 |
| Method and system for code analysis using symbolic types L Li, A Santosa US Patent 9,336,128, 2016 | 8 | 2016 |
| Symbolic execution for verification J Jaffar, JA Navas, AE Santosa arXiv preprint arXiv:1103.2027, 2011 | 8 | 2011 |
| Smart Greybox Fuzzing. CoRR abs/1811.09447 (2018) VT Pham, M Böhme, AE Santosa, AR Caciulescu, A Roychoudhury arXiv preprint arXiv:1811.09447, 2018 | 7 | 2018 |
Joxan JaffarNational University of SingaporeVerified email at comp.nus.edu.sg
