Follow
Saswat Anand
Saswat Anand
Google
Verified email at cs.stanford.edu - Homepage
Title
Cited by
Cited by
Year
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
9132013
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
5652014
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
5342012
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
3602007
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
3602007
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
3482008
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
1012016
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
962009
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
73*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
66*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
552016
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
552012
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
412007
Interactively verifying absence of explicit information flows in Android apps
O Bastani, S Anand, A Aiken
ACM SIGPLAN Notices 50 (10), 299-315, 2015
332015
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
212012
Apposcopy: Semantics-based detection of android malware
Y Feng, S Anand, I Dillig, A Aiken
ACM Foundations of Software Engineering (FSE), 2014
172014
The system can't perform the operation now. Try again later.
Articles 1–20