Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
Latest Publications

TOTAL DOCUMENTS

143

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450342186

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extracting instruction semantics via symbolic execution of code generators

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2950335 ◽

2016 ◽

Cited By ~ 6

Author(s):

Niranjan Hasabnis ◽

R. Sekar

Keyword(s):

Symbolic Execution ◽

Code Generators

Download Full-text

Flow-sensitive composition of thread-modular abstract interpretation

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2950291 ◽

2016 ◽

Cited By ~ 11

Author(s):

Markus Kusano ◽

Chao Wang

Keyword(s):

Abstract Interpretation

Download Full-text

Detecting sensitive data disclosure via bi-directional text correlation analysis

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2950348 ◽

2016 ◽

Cited By ~ 7

Author(s):

Jianjun Huang ◽

Xiangyu Zhang ◽

Lin Tan

Keyword(s):

Correlation Analysis ◽

Sensitive Data

Download Full-text

ARdoc: app reviews development oriented classifier

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2983938 ◽

2016 ◽

Cited By ~ 25

Author(s):

Sebastiano Panichella ◽

Andrea Di Sorbo ◽

Emitza Guzman ◽

Corrado A. Visaggio ◽

Gerardo Canfora ◽

...

Download Full-text

Social health cues developers use when choosing open source packages

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2983973 ◽

2016 ◽

Author(s):

Andrew Head

Keyword(s):

Open Source ◽

Social Health

Download Full-text

Python probabilistic type inference with natural language support

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2950343 ◽

2016 ◽

Cited By ~ 15

Author(s):

Zhaogui Xu ◽

Xiangyu Zhang ◽

Lin Chen ◽

Kexin Pei ◽

Baowen Xu

Keyword(s):

Natural Language ◽

Type Inference ◽

Language Support ◽

Probabilistic Type

Download Full-text

Bing developer assistant: improving developer productivity by recommending sample code

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2983955 ◽

2016 ◽

Cited By ~ 18

Author(s):

Hongyu Zhang ◽

Anuj Jain ◽

Gaurav Khandelwal ◽

Chandrashekhar Kaushik ◽

Scott Ge ◽

...

Download Full-text

Effective assignment and assistance to software developers and reviewers

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2983960 ◽

2016 ◽

Cited By ~ 2

Author(s):

Motahareh Bahrami Zanjani

Keyword(s):

Software Developers

Download Full-text

Designing minimal effective normative systems with the help of lightweight formal methods

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2950307 ◽

2016 ◽

Cited By ~ 3

Author(s):

Jianye Hao ◽

Eunsuk Kang ◽

Jun Sun ◽

Daniel Jackson

Keyword(s):

Formal Methods ◽

Normative Systems ◽

Lightweight Formal Methods

Download Full-text

Combinatorial generation of structurally complex test inputs for commercial software applications

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 ◽

10.1145/2950290.2983959 ◽

2016 ◽

Cited By ~ 6

Author(s):

Hua Zhong ◽

Lingming Zhang ◽

Sarfraz Khurshid

Keyword(s):

Commercial Software ◽

Software Applications ◽

Combinatorial Generation ◽

Complex Test

Download Full-text

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Extracting instruction semantics via symbolic execution of code generators

Flow-sensitive composition of thread-modular abstract interpretation

Detecting sensitive data disclosure via bi-directional text correlation analysis

ARdoc: app reviews development oriented classifier

Social health cues developers use when choosing open source packages

Python probabilistic type inference with natural language support

Bing developer assistant: improving developer productivity by recommending sample code

Effective assignment and assistance to software developers and reviewers

Designing minimal effective normative systems with the help of lightweight formal methods

Combinatorial generation of structurally complex test inputs for commercial software applications

Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016
Latest Publications