Andrew Santosa
Andrew Santosa
Veracode
Verified email at Veracode.com - Homepage
Title
Cited by
Cited by
Year
TRACER: A symbolic execution tool for verification
J Jaffar, V Murali, JA Navas, AE Santosa
International Conference on Computer Aided Verification, 758-766, 2012
1332012
An interpolation method for CLP traversal
J Jaffar, AE Santosa, R Voicu
International Conference on Principles and Practice of Constraint …, 2009
832009
Smart greybox fuzzing
VT Pham, M Böhme, AE Santosa, AR Caciulescu, A Roychoudhury
IEEE Transactions on Software Engineering, 2019
772019
Unbounded symbolic execution for program verification
J Jaffar, JA Navas, AE Santosa
International Conference on Runtime Verification, 396-411, 2011
552011
A CLP proof method for timed automata
J Jaffar, A Santosa, R Voicu
25th IEEE International Real-Time Systems Symposium, 175-186, 2004
482004
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
442004
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.
J Jaffar, AE Santosa, R Voicu
AAAI 8, 297-303, 2008
392008
A coinduction rule for entailment of recursively defined properties
J Jaffar, AE Santosa, R Voicu
International Conference on Principles and Practice of Constraint …, 2008
212008
Modeling systems in CLP
J Jaffar, AE Santosa, R Voicu
International conference on logic programming, 412-413, 2005
202005
Path-sensitive backward slicing
J Jaffar, V Murali, JA Navas, AE Santosa
International Static Analysis Symposium, 231-247, 2012
192012
Concurrent programming made easy
R Ramirez, AE Santosa, RHC Yap
Proceedings Sixth IEEE International Conference on Engineering of Complex …, 2000
122000
A CLP method for compositional and intermittent predicate abstraction
J Jaffar, AE Santosa, R Voicu
International Workshop on Verification, Model Checking, and Abstract …, 2006
102006
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
82014
Symbolic execution for verification
J Jaffar, JA Navas, AE Santosa
arXiv preprint arXiv:1103.2027, 2011
82011
Method and system for code analysis using symbolic types
L Li, A Santosa
US Patent 9,336,128, 2016
62016
Representing relative temporal knowledge with the tand connective
PG Wijayarathna, Y Kawata, A Santosa, K Isogai, M Maekawa
Eighth Ireland Conference on Artificial Intelligence’(AI-97) 2, 80-87, 1997
61997
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
52020
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
52020
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
52018
Recursive abstractions for parameterized systems
J Jaffar, AE Santosa
International Symposium on Formal Methods, 72-88, 2009
52009
The system can't perform the operation now. Try again later.
Articles 1–20