All Stories

  1. Progressive processing of system-behavioral query
  2. DeepIntent
  3. Blockchain Interoperability
  4. Characterizing Android App Signing Issues
  5. Root Cause Localization for Unreproducible Builds via Causality Analysis Over System Call Tracing
  6. Bug Triaging Based on Tossing Sequence Modeling
  7. A query system for efficiently investigating complex attack behaviors for enterprise security
  8. IconIntent: Automatic Identification of Sensitive UI Widgets Based on Icon Classification for Android Apps
  9. PIFA: An Intelligent Phase Identification and Frequency Adjustment Framework for Time-Sensitive Mobile Computing
  10. Paladin
  11. Visualizing Path Exploration to Assist Problem Diagnosis for Structural Test Generation
  12. An Effective Approach for Routing the Bug Reports to the Right Fixers
  13. PreInfer: Automatic Inference of Preconditions via Symbolic Analysis
  14. NodeMerge
  15. An energy-efficient offloading framework with predictable temporal correctness
  16. Are vulnerabilities discovered and resolved like other defects?
  17. RunDroid: recovering execution call graphs for Android applications
  18. High Fidelity Data Reduction for Big Data Security Dependency Analyses
  19. Roundtable: Research Opportunities and Challenges for Large-Scale Software Systems
  20. High-confidence software evolution
  21. Measuring code behavioral similarity for programming and software engineering education
  22. Behavior query discovery in system-generated temporal graphs
  23. AppContext: Differentiating Malicious and Benign Mobile App Behaviors Using Context
  24. Relation extraction for inferring access control rules from natural language artifacts
  25. User-aware privacy control via extended static-information-flow analysis
  26. Cooperative Software Testing and Analysis: Advances and Challenges
  27. ARC++: effective typestate and lifetime dependency analysis
  28. Context-sensitive delta inference for identifying workload-dependent performance bottlenecks (invited talk abstract)
  29. Improving mobile application security via bridging user expectations and application behaviors
  30. Characteristic studies of loop problems for structural test generation via symbolic execution
  31. Context-sensitive delta inference for identifying workload-dependent performance bottlenecks
  32. User-aware privacy control via extended static-information-flow analysis
  33. Inferring method specifications from natural language API descriptions
  34. Advances on Improving Automation in Developer Testing
  35. Automated extraction of security policies from natural-language software documents
  36. Covana
  37. Precise identification of problems for structural test generation
  38. Problem identification for structural test generation