| 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 | 820 | 2013 |
| 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 | 522 | 2014 |
| 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 | 494 | 2012 |
| 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 | 354 | 2007 |
| 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 | 354 | 2007 |
| Demand-driven compositional symbolic execution S Anand, P Godefroid, N Tillmann Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 332 | 2008 |
| 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 | 97 | 2009 |
| 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 | 85 | 2016 |
| Symbolic execution with abstraction S Anand, CS Păsăreanu, W Visser International Journal on Software Tools for Technology Transfer 11, 53-67, 2009 | 74 | 2009 |
| 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 | 74* | 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 | 67* | 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 | 57 | 2012 |
| 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 | 54 | 2015 |
| Minimizing GUI event traces L Clapp, O Bastani, S Anand, A Aiken Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 47 | 2016 |
| 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 | 42 | 2007 |
| Charting patterns on price history S Anand, WN Chin, SC Khoo Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001 | 33 | 2001 |
| Interactively verifying absence of explicit information flows in Android apps O Bastani, S Anand, A Aiken ACM SIGPLAN Notices 50 (10), 299-315, 2015 | 32 | 2015 |
| 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 | 31 | 2015 |
| Techniques to facilitate symbolic execution of real-world programs S Anand Georgia Institute of Technology, 2012 | 21 | 2012 |
| Apposcopy: Semantics-based detection of android malware Y Feng, S Anand, I Dillig, A Aiken ACM Foundations of Software Engineering (FSE), 2014 | 16 | 2014 |
Alex AikenProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
