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

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
Load More ...
Sign in / Sign up

Export Citation Format

Share Document