Saswat Anand
Software · 2012–2014
A researcher in the Science corpus: 3 papers; trusts 4 researchers and is trusted by 2 researchers here, as inferred from the citation graph.
Subfields
- Software — 53 citations into it
- Information Systems — 30 citations into it
- Computational Theory and Mathematics — 16 citations into it
- Computer Networks and Communications — 16 citations into it
Whom Saswat Anand trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Patrice Godefroid
- G. Ruhe
- Myra B. Cohen
- Phil McMinn
- Koushik Sen
- Mark Harman
- Rupak Majumdar
- Michel Gendreau
- William Enck
- Christoph C. Michael
Who trusts Saswat Anand overall
- Wei Yang
- Ke Mao
- Wontae Choi
- Riyadh Mahmood
- Ting Su
- Sergio Segura
- Mark Harman
- Tégawendé F. Bissyandé
- George C. Necula
- Nariman Mirzaei
Papers from Saswat Anand's perspective
Ordered by how strongly the researchers Saswat Anand trusts endorse each paper. Same corpus, a different order for every researcher.
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
- Hybrid Concolic Testing (International Conference on Software Engineering)
- On lightweight mobile phone application certification (Conference on Computer and Communications Security)
- Android permissions demystified (Conference on Computer and Communications Security)
- A Study of Android Application Security (USENIX Security Symposium)
- Constructing test suites for interaction testing (25th International Conference on Software Engineering, 2003. Proceedings.)
- Compositional dynamic test generation (ACM-SIGACT Symposium on Principles of Programming Languages)
- Z3: An Efficient SMT Solver
- Using probabilistic generative models for ranking risks of Android apps
Their papers
- Apposcopy: semantics-based detection of Android malware through static analysis (2014) — 489 citations
- An orchestrated survey of methodologies for automated software test case generation (2013) — 714 citations
- Automated concolic testing of smartphone apps (2012) — 423 citations