2025
Fingerprinting SDKs for Mobile Apps and Where to Find Them: Understanding the Market for Device Fingerprinting.
CoRR, June, 2025
2024
Natural Language Outlines for Code: Literate Programming in the LLM Era.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
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