Travelled to:1 × Canada
1 × China
1 × Hungary
1 × India
1 × Italy
1 × Portugal
5 × USA
Collaborated with:A.Aiken O.Bastani M.J.Harrold L.Clapp A.Orso C.S.Pasareanu W.G.J.Halfond P.Godefroid N.Tillmann W.Visser W.Chin S.Khoo Y.Feng I.Dillig M.Naik H.Yang M.Borges M.d'Amorim D.H.Bushnell R.S.0001
Talks about:execut (6) symbol (5) analysi (4) specif (3) explicit (2) program (2) android (2) inform (2) test (2) java (2)
Person: Saswat Anand
DBLP: Anand:Saswat
Contributed to:
2015
2015
2015
20142012
2012
20112009
20082007
20012016
2019Wrote 14 papers:
- ISSTA-2015-ClappAA #data flow #mining #named #specification
- Modelgen: mining explicit information flow specifications from concrete executions (LC, SA, AA), pp. 129–140.
- OOPSLA-2015-BastaniAA #android #data flow #verification
- Interactively verifying absence of explicit information flows in Android apps (OB, SA, AA), pp. 299–315.
- POPL-2015-BastaniAA #context-free grammar #reachability #specification #using
- Specification Inference Using Context-Free Language Reachability (OB, SA, AA), pp. 553–566.
- FSE-2014-FengADA #android #detection #named #semantics #static analysis
- Apposcopy: semantics-based detection of Android malware through static analysis (YF, SA, ID, AA), pp. 576–587.
- FSE-2012-AnandNHY #automation #smarttech #testing
- Automated concolic testing of smartphone apps (SA, MN, MJH, HY), p. 59.
- ICST-2012-BorgesdABP #execution #metaheuristic #symbolic computation
- Symbolic Execution with Interval Solving and Meta-heuristic Search (MB, Md, SA, DHB, CSP), pp. 111–120.
- ASE-2011-AnandH #execution #java #source code #symbolic computation
- Heap cloning: Enabling dynamic symbolic execution of java programs (SA, MJH), pp. 33–42.
- ISSTA-2009-HalfondAO #analysis #identification #interface #precise #testing #web
- Precise interface identification to improve testing and analysis of web applications (WGJH, SA, AO), pp. 285–296.
- TACAS-2008-AnandGT #composition #execution #symbolic computation
- Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.
- TACAS-2007-AnandOH #analysis #execution #program transformation #symbolic computation
- Type-Dependence Analysis and Program Transformation for Symbolic Execution (SA, AO, MJH), pp. 117–133.
- TACAS-2007-AnandPV #execution #java #named #symbolic computation
- JPF-SE: A Symbolic Execution Extension to Java PathFinder (SA, CSP, WV), pp. 134–138.
- ICFP-2001-AnandCK
- Charting Patterns on Price History (SA, WNC, SCK), pp. 134–145.
- FSE-2016-ClappBAA #user interface
- Minimizing GUI event traces (LC, OB, SA, AA), pp. 422–434.
- ECOOP-2019-Bastani0CAA #analysis #points-to #specification
- Eventually Sound Points-To Analysis with Specifications (OB, RS0, LC, SA, AA), p. 28.