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
5972013
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
3892012
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
3582014
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
2992007
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
2992007
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
International Conference on Tools and Algorithms for the Construction and …, 2008
2792008
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
842009
Symbolic execution with abstraction
S Anand, CS Păsăreanu, W Visser
International Journal on Software Tools for Technology Transfer 11 (1), 53-67, 2009
602009
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
592006
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
59*2006
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
452012
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
442016
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
432015
Type-dependence analysis and program transformation for symbolic execution
S Anand, A Orso, MJ Harrold
International Conference on Tools and Algorithms for the Construction and …, 2007
372007
Charting patterns on price history
S Anand, WN Chin, SC Khoo
Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001
342001
Minimizing GUI event traces
L Clapp, O Bastani, S Anand, A Aiken
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
292016
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
282015
Interactively verifying absence of explicit information flows in Android apps
O Bastani, S Anand, A Aiken
ACM SIGPLAN Notices 50 (10), 299-315, 2015
272015
Apposcopy: Semantics-based detection of android malware
Y Feng, S Anand, I Dillig, A Aiken
ACM Foundations of Software Engineering (FSE), 2014
152014
Techniques to facilitate symbolic execution of real-world programs
S Anand
Georgia Institute of Technology, 2012
152012
The system can't perform the operation now. Try again later.
Articles 1–20