Saswat Anand

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Eventually Sound Points-To Analysis with Specifications.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2017
Eventually Sound Points-To Analysis with Missing Code.
CoRR, 2017

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017

2016
Minimizing GUI event traces.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2015
Specification Inference Using Context-Free Language Reachability.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

An interactive approach to mobile app verification.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015

Interactively verifying absence of explicit information flows in Android apps.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Modelgen: mining explicit information flow specifications from concrete executions.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

2014
Apposcopy: automated detection of Android malware (invited talk).
Proceedings of the 2nd International Workshop on Software Development Lifecycle for Mobile, 2014

Apposcopy: semantics-based detection of Android malware through static analysis.
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.
J. Syst. Softw., 2013

2012
Techniques to facilitate symbolic execution of real-world programs.
PhD thesis, 2012

Automated concolic testing of smartphone apps.
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.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011
Heap cloning: Enabling dynamic symbolic execution of java programs.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2009
Symbolic execution with abstraction.
Int. J. Softw. Tools Technol. Transf., 2009

Precise interface identification to improve testing and analysis of web applications.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2008
Demand-Driven Compositional Symbolic Execution.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007
JPF-SE: A Symbolic Execution Extension to Java PathFinder.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Type-Dependence Analysis and Program Transformation for Symbolic Execution.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006
Symbolic Execution with Abstract Subsumption Checking.
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.
Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 2002

2001
Charting Patterns on Price History.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

Efficient Interpretation of Chart Pattern Language.
Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001


  Loading...