Systematic Testing for Resource Leaks in Android Applications Dacong Yan Shengqian Yang

Source URL: dacongy.github.io

A Framework for Constructing Fast MPC over Arithmetic Circuits with Malicious Adversaries and an Honest-Majority

Source URL: acmccs.github.io

V´erification de programmes C concurrents avec Cubicle : Enfoncer les barri`eres Sylvain Conchon1,2 & David Declerck1 & Luc Maranget3 & Alain Mebsout1,2 1: Universit´e Paris Sud, CNRS, FOrsay ˆ 2: INRIA Saclay

Source URL: mebsout.github.io

Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang Hao Lü

Source URL: zhang-sai.github.io

• Business
• Economy
• Business process
• Groupware
• Workflow
• Business process management
• Workflow technology
• Scientific workflow system

A Context-Sensitive Memory Model for Verification of C/C++ Programs Arie Gurfinkel and Jorge A. Navas University of Waterloo and SRI International SAS’17, August 30th, 2017

Source URL: seahorn.github.io

• C
• Data types
• Software engineering
• Computing
• Computer programming
• Pointer
• Compatibility of C and C++
• Const
• Typedef

Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with:

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Java platform
• Cross-platform software
• Object-oriented programming languages
• Software testing
• Java Database Connectivity
• JUnit
• D
• Test automation

Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st

Source URL: dacongy.github.io

• Software engineering
• Subroutines
• Computing
• Computer programming
• Programming paradigms
• Callback
• Network flow problem
• Event
• Data-flow analysis
• Control flow analysis
• Flow network
• Control flow graph

A Context-Sensitive Memory Model for Verification of C/C++ Programs? Arie Gurfinkel1 and Jorge A. Navas2 1 University of Waterloo (Canada)

Source URL: seahorn.github.io

• Pointer
• Graph

Open Citations in Action: Case Study ScienceOpen Workshop on Open Citations, Bologna, ItalySeptember 2017´8 @Science_Open @SDawsonBerlin

Source URL: workshop-oc.github.io

• Publishing
• Open access
• Information science
• Scholarly communication
• Academic publishing
• Knowledge
• Citation indices
• ScienceOpen
• Citation metrics
• Crossref
• Initiative for Open Citations
• Directory of Open Access Journals