Andrew Santosa
Andrew Santosa
Veracode
Bestätigte E-Mail-Adresse bei Veracode.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
TRACER: A symbolic execution tool for verification
J Jaffar, V Murali, JA Navas, AE Santosa
International Conference on Computer Aided Verification, 758-766, 2012
1222012
An interpolation method for CLP traversal
J Jaffar, AE Santosa, R Voicu
International Conference on Principles and Practice of Constraint …, 2009
812009
Unbounded symbolic execution for program verification
J Jaffar, JA Navas, AE Santosa
International Conference on Runtime Verification, 396-411, 2011
512011
A CLP proof method for timed automata
J Jaffar, A Santosa, R Voicu
25th IEEE International Real-Time Systems Symposium, 175-186, 2004
452004
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
422004
Smart greybox fuzzing
VT Pham, M Böhme, AE Santosa, AR Caciulescu, A Roychoudhury
IEEE Transactions on Software Engineering, 2019
402019
Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints.
J Jaffar, AE Santosa, R Voicu
AAAI 8, 297-303, 2008
372008
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
172012
Concurrent programming made easy
R Ramirez, AE Santosa, RHC Yap
Proceedings Sixth IEEE International Conference on Engineering of Complex …, 2000
112000
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
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
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
Declarative concurrency in Java
R Ramirez, AE Santosa
International Parallel and Distributed Processing Symposium, 332-339, 2000
52000
Path sensitive backward analysis
J Jaffar, V Murali, J Navas, A Santosa
SAS, 2012
42012
An aspect-oriented framework for concurrent applications
R Ramirez, AE Santosa
Proc. of the 3rd German Workshop on Aspect Oriented Software Development, 2003
42003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20