Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018

Augmenting stack overflow with API usage patterns mined from GitHub

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3264585 ◽

2018 ◽

Cited By ~ 2

Author(s):

Anastasia Reinhardt ◽

Tianyi Zhang ◽

Mihir Mathur ◽

Miryung Kim

Keyword(s):

Stack Overflow ◽

Usage Patterns ◽

Api Usage

Download Full-text

Do Android taint analysis tools keep their promises?

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3236029 ◽

2018 ◽

Cited By ~ 18

Author(s):

Felix Pauck ◽

Eric Bodden ◽

Heike Wehrheim

Keyword(s):

Taint Analysis ◽

Analysis Tools

Download Full-text

FACTS: automated black-box testing of FinTech systems

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3275533 ◽

2018 ◽

Cited By ~ 1

Author(s):

Qingshun Wang ◽

Lintao Gu ◽

Minhui Xue ◽

Lihua Xu ◽

Wenyu Niu ◽

...

Keyword(s):

Black Box ◽

Black Box Testing

Download Full-text

MODE: automated neural network model debugging via state differential analysis and input selection

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3236082 ◽

2018 ◽

Cited By ~ 22

Author(s):

Shiqing Ma ◽

Yingqi Liu ◽

Wen-Chuan Lee ◽

Xiangyu Zhang ◽

Ananth Grama

Keyword(s):

Neural Network ◽

Network Model ◽

Neural Network Model ◽

Differential Analysis ◽

Input Selection

Download Full-text

Concurrency verification with maximal path causality

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3236048 ◽

2018 ◽

Cited By ~ 1

Author(s):

Qiuping Yi ◽

Jeff Huang

Keyword(s):

Maximal Path

Download Full-text

Quality assurance automation in autonomous systems

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3275429 ◽

2018 ◽

Author(s):

Afsoon Afzal

Keyword(s):

Quality Assurance ◽

Autonomous Systems

Download Full-text

Efficient static checking of library updates

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3275535 ◽

2018 ◽

Cited By ~ 2

Author(s):

Darius Foo ◽

Hendy Chua ◽

Jason Yeo ◽

Ming Yi Ang ◽

Asankhaya Sharma

Keyword(s):

Static Checking

Download Full-text

Syntax-guided synthesis of Datalog programs

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3236034 ◽

2018 ◽

Cited By ~ 9

Author(s):

Xujie Si ◽

Woosuk Lee ◽

Richard Zhang ◽

Aws Albarghouthi ◽

Paraschos Koutris ◽

...

Download Full-text

How well are regular expressions tested in the wild?

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3236072 ◽

2018 ◽

Cited By ~ 8

Author(s):

Peipei Wang ◽

Kathryn T. Stolee

Keyword(s):

Regular Expressions ◽

In The Wild

Download Full-text

Vista: web test repair using computer vision

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 ◽

10.1145/3236024.3264592 ◽

2018 ◽

Cited By ~ 3

Author(s):

Andrea Stocco ◽

Rahulkrishna Yandrapally ◽

Ali Mesbah

Keyword(s):

Computer Vision

Download Full-text

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Augmenting stack overflow with API usage patterns mined from GitHub

Do Android taint analysis tools keep their promises?

FACTS: automated black-box testing of FinTech systems

MODE: automated neural network model debugging via state differential analysis and input selection

Concurrency verification with maximal path causality

Quality assurance automation in autonomous systems

Efficient static checking of library updates

Syntax-guided synthesis of Datalog programs

How well are regular expressions tested in the wild?

Vista: web test repair using computer vision

Export Citation Format

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Augmenting stack overflow with API usage patterns mined from GitHub

Do Android taint analysis tools keep their promises?

FACTS: automated black-box testing of FinTech systems

MODE: automated neural network model debugging via state differential analysis and input selection

Concurrency verification with maximal path causality

Quality assurance automation in autonomous systems

Efficient static checking of library updates

Syntax-guided synthesis of Datalog programs

How well are regular expressions tested in the wild?

Vista: web test repair using computer vision

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018
Latest Publications