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

TOTAL DOCUMENTS

95

(FIVE YEARS 0)

H-INDEX

27

(FIVE YEARS 0)

Published By ACM Press

9781450322379

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2491459 ◽

2013 ◽

Author(s):

Chang Hwan Peter Kim ◽

Darko Marinov ◽

Sarfraz Khurshid ◽

Don Batory ◽

Sabrina Souto ◽

...

Keyword(s):

Dynamic Analysis ◽

Configurable Systems

Download Full-text

Towards open architecture system

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2492407 ◽

2013 ◽

Author(s):

Bahtijar Vogel

Keyword(s):

Open Architecture

Download Full-text

Precise range analysis on large industry code

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2494569 ◽

2013 ◽

Author(s):

Shrawan Kumar ◽

Bharti Chimdyalwar ◽

Ulka Shrotri

Keyword(s):

Download Full-text

Inferring project-specific bug patterns for detecting sibling bugs

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2491422 ◽

2013 ◽

Author(s):

Guangtai Liang ◽

Qianxiang Wang ◽

Tao Xie ◽

Hong Mei

Download Full-text

Synthesis of component and connector models from crosscutting structural views

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2491414 ◽

2013 ◽

Author(s):

Shahar Maoz ◽

Jan Oliver Ringert ◽

Bernhard Rumpe

Download Full-text

Termination proofs from tests

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2491413 ◽

2013 ◽

Author(s):

Aditya V. Nori ◽

Rahul Sharma

Keyword(s):

Termination Proofs

Download Full-text

Enhancing symbolic execution with built-in term rewriting and constrained lazy initialization

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2491433 ◽

2013 ◽

Author(s):

Pietro Braione ◽

Giovanni Denaro ◽

Mauro Pezzè

Keyword(s):

Symbolic Execution ◽

Download Full-text

Understanding gamification mechanisms for software development

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2494589 ◽

2013 ◽

Author(s):

Daniel J. Dubois ◽

Giordano Tamburrelli

Keyword(s):

Software Development

Download Full-text

Effective dynamic detection of alias analysis errors

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2491439 ◽

2013 ◽

Author(s):

Jingyue Wu ◽

Gang Hu ◽

Yang Tang ◽

Junfeng Yang

Keyword(s):

Alias Analysis ◽

Effective Dynamic ◽

Dynamic Detection ◽

Analysis Errors

Download Full-text

Lexical statistical machine translation for language migration

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 ◽

10.1145/2491411.2494584 ◽

2013 ◽

Author(s):

Anh Tuan Nguyen ◽

Tung Thanh Nguyen ◽

Tien N. Nguyen

Keyword(s):

Machine Translation ◽

Statistical Machine Translation

Download Full-text