Παρακολούθηση
Saswat Anand
Saswat Anand
Google
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cs.stanford.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
An orchestrated survey of methodologies for automated software test case generation
S Anand, EK Burke, TY Chen, J Clark, MB Cohen, W Grieskamp, ...
Journal of systems and software 86 (8), 1978-2001, 2013
9892013
Apposcopy: Semantics-based detection of android malware through static analysis
Y Feng, S Anand, I Dillig, A Aiken
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations …, 2014
5942014
Automated concolic testing of smartphone apps
S Anand, M Naik, MJ Harrold, H Yang
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
5642012
JPF–SE: A symbolic execution extension to java pathfinder
S Anand, CS Păsăreanu, W Visser
International Conference on Tools and Algorithms for the Construction and …, 2007
3712007
JPF–SE: A symbolic execution extension to java pathfinder
S Anand, CS Păsăreanu, W Visser
International Conference on Tools and Algorithms for the Construction and …, 2007
3712007
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
3642008
Automated synthesis of semantic malware signatures using maximum satisfiability
Y Feng, O Bastani, R Martins, I Dillig, S Anand
arXiv preprint arXiv:1608.06254, 2016
1122016
Precise interface identification to improve testing and analysis of web applications
WGJ Halfond, S Anand, A Orso
Proceedings of the eighteenth international symposium on Software testing …, 2009
1002009
Symbolic execution with abstraction
S Anand, CS Păsăreanu, W Visser
International Journal on Software Tools for Technology Transfer 11, 53-67, 2009
832009
Symbolic execution with abstract subsumption checking
S Anand, CS Păsăreanu, W Visser
International SPIN Workshop on Model Checking of Software, 163-181, 2006
76*2006
Advanced Handling of Data Aspects-Symbolic Execution with Abstract Subsumption Checking
S Anand, CS Pasareanu, W Visser
Lecture Notes in Computer Science 3925, 163-181, 2006
69*2006
Specification inference using context-free language reachability
O Bastani, S Anand, A Aiken
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
612015
Minimizing GUI event traces
L Clapp, O Bastani, S Anand, A Aiken
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
592016
Symbolic execution with interval solving and meta-heuristic search
M Borges, M d'Amorim, S Anand, D Bushnell, CS Pasareanu
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
562012
Type-dependence analysis and program transformation for symbolic execution
S Anand, A Orso, MJ Harrold
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
422007
Modelgen: mining explicit information flow specifications from concrete executions
L Clapp, S Anand, A Aiken
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
342015
Charting patterns on price history
S Anand, WN Chin, SC Khoo
Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001
332001
Interactively verifying absence of explicit information flows in Android apps
O Bastani, S Anand, A Aiken
ACM SIGPLAN Notices 50 (10), 299-315, 2015
322015
Techniques to facilitate symbolic execution of real-world programs
S Anand
Georgia Institute of Technology, 2012
222012
Heap cloning: Enabling dynamic symbolic execution of java programs
S Anand, MJ Harrold
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
202011
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20