Saswat Anand
Saswat Anand
Google
Verified email at cs.stanford.edu - Homepage
TitleCited byYear
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
5242013
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
3632012
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
3112014
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
2832007
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
2832007
Demand-driven compositional symbolic execution
S Anand, P Godefroid, N Tillmann
International Conference on Tools and Algorithms for the Construction and …, 2008
2712008
L-asparaginase: a promising chemotherapeutic agent
N Verma, K Kumar, G Kaur, S Anand
Critical reviews in biotechnology 27 (1), 45-62, 2007
2392007
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
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
58*2006
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
572009
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
562006
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
422012
Specification inference using context-free language reachability
O Bastani, S Anand, A Aiken
ACM SIGPLAN Notices 50 (1), 553-566, 2015
402015
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
382016
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
ACM SIGPLAN Notices 36 (10), 134-145, 2001
312001
Minimizing GUI event traces
L Clapp, O Bastani, S Anand, A Aiken
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
292016
An efficient algorithm for data cleaning of log file using file extensions
S Anand, RR Aggarwal
International Journal of Computer Applications 48 (8), 2012
262012
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
252015
Interactively verifying absence of explicit information flows in Android apps
O Bastani, S Anand, A Aiken
ACM SIGPLAN Notices 50 (10), 299-315, 2015
242015
The system can't perform the operation now. Try again later.
Articles 1–20