Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017
Latest Publications

TOTAL DOCUMENTS

124
(FIVE YEARS 0)

H-INDEX

22
(FIVE YEARS 0)

Published By ACM Press

9781450351058
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Failure-directed program trimming

2017 ◽  
Author(s):  
Kostas Ferles ◽  
Valentin Wüstholz ◽  
Maria Christakis ◽  
Isil Dillig

When program analysis meets mobile security: an industrial study of misusing Android internet sockets

2017 ◽  
Author(s):  
Wenqi Bu ◽  
Minhui Xue ◽  
Lihua Xu ◽  
Yajin Zhou ◽  
Zhushou Tang ◽  
...  
Keyword(s):  
Program Analysis ◽  
Mobile Security

scholarly journals Automated control of multiple software goals using multiple actuators

2017 ◽  
Author(s):  
Martina Maggio ◽  
Alessandro Vittorio Papadopoulos ◽  
Antonio Filieri ◽  
Henry Hoffmann
Keyword(s):  
Automated Control ◽  
Multiple Actuators

Better test cases for better automated program repair

2017 ◽  
Author(s):  
Jinqiu Yang ◽  
Alexey Zhikhartsev ◽  
Yuefei Liu ◽  
Lin Tan
Keyword(s):  
Test Cases ◽  
Automated Program Repair ◽  
Program Repair

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour

2017 ◽  
Author(s):  
Germán Regis ◽  
César Cornejo ◽  
Simón Gutiérrez Brida ◽  
Mariano Politano ◽  
Fernando Raverta ◽  
...  
Keyword(s):  
Dynamic Behaviour

Loopster: static loop termination analysis

2017 ◽  
Author(s):  
Xiaofei Xie ◽  
Bihuan Chen ◽  
Liang Zou ◽  
Shang-Wei Lin ◽  
Yang Liu ◽  
...  
Keyword(s):  
Termination Analysis

Reproducing concurrency failures from crash stacks

2017 ◽  
Author(s):  
Francesco A. Bianchi ◽  
Mauro Pezzè ◽  
Valerio Terragni
Load More ...
Sign in / Sign up

Export Citation Format

Share Document