Segui
Saswat Anand
Saswat Anand
Google
Email verificata su cs.stanford.edu - Home page
Titolo
Citata da
Citata da
Anno
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
9422013
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
5732014
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
5362012
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
3642007
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
3642007
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
3532008
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
1072016
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
972009
Symbolic execution with abstraction
S Anand, CS Păsăreanu, W Visser
International Journal on Software Tools for Technology Transfer 11, 53-67, 2009
802009
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
75*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
68*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
602015
Minimizing GUI event traces
L Clapp, O Bastani, S Anand, A Aiken
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
572016
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
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
Charting patterns on price history
S Anand, WN Chin, SC Khoo
Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001
322001
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
312015
Techniques to facilitate symbolic execution of real-world programs
S Anand
Georgia Institute of Technology, 2012
222012
Apposcopy: automated detection of Android malware (invited talk)
Y Feng, I Dillig, S Anand, A Aiken
Proceedings of the 2nd International Workshop on Software Development …, 2014
172014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20