Saswat Anand

According to our database, Saswat Anand authored at least 24 papers between 2001 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Eventually Sound Points-To Analysis with Specifications.

Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2017

Eventually Sound Points-To Analysis with Missing Code.

Osbert Bastani, Lazaro Clapp, Saswat Anand, Rahul Sharma, Alex Aiken

CoRR, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.

Yu Feng, Osbert Bastani, Ruben Martins, Isil Dillig, Saswat Anand

Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016

Minimizing GUI event traces.

Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015

Specification Inference Using Context-Free Language Reachability.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

An interactive approach to mobile app verification.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Interactively verifying absence of explicit information flows in Android apps.

Osbert Bastani, Saswat Anand, Alex Aiken

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Modelgen: mining explicit information flow specifications from concrete executions.

Lazaro Clapp, Saswat Anand, Alex Aiken

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014

Apposcopy: automated detection of Android malware (invited talk).

Yu Feng, Isil Dillig, Saswat Anand, Alex Aiken

Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Apposcopy: semantics-based detection of Android malware through static analysis.

Yu Feng, Saswat Anand, Isil Dillig, Alex Aiken

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013

An orchestrated survey of methodologies for automated software test case generation.

Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn

J. Syst. Softw., 2013

2012

Techniques to facilitate symbolic execution of real-world programs.

Saswat Anand

PhD thesis, 2012

Automated concolic testing of smartphone apps.

Saswat Anand, Mayur Naik, Mary Jean Harrold, Hongseok Yang

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Symbolic Execution with Interval Solving and Meta-heuristic Search.

Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Heap cloning: Enabling dynamic symbolic execution of java programs.

Saswat Anand, Mary Jean Harrold

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2009

Symbolic execution with abstraction.

Saswat Anand, Corina S. Pasareanu, Willem Visser

Int. J. Softw. Tools Technol. Transf., 2009

Precise interface identification to improve testing and analysis of web applications.

William G. J. Halfond, Saswat Anand, Alessandro Orso

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2008

Demand-Driven Compositional Symbolic Execution.

Saswat Anand, Patrice Godefroid, Nikolai Tillmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

JPF-SE: A Symbolic Execution Extension to Java PathFinder.

Saswat Anand, Corina S. Pasareanu, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Type-Dependence Analysis and Program Transformation for Symbolic Execution.

Saswat Anand, Alessandro Orso, Mary Jean Harrold

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Symbolic Execution with Abstract Subsumption Checking.

Saswat Anand, Corina S. Pasareanu, Willem Visser

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

2002

A Lazy Divide and Conquer Approach to Constraint Solving.

Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo

Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

2001

Charting Patterns on Price History.

Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Efficient Interpretation of Chart Pattern Language.

Saswat Anand, Siau-Cheng Khoo

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001