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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450322379

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 15

Author(s):

Shahar Maoz ◽

Jan Oliver Ringert ◽

Bernhard Rumpe

Download Full-text

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 ◽

Cited By ~ 33

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 4

Author(s):

Shrawan Kumar ◽

Bharti Chimdyalwar ◽

Ulka Shrotri

Keyword(s):

Range Analysis

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 ◽

Cited By ~ 6

Author(s):

Guangtai Liang ◽

Qianxiang Wang ◽

Tao Xie ◽

Hong Mei

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 27

Author(s):

Anh Tuan Nguyen ◽

Tung Thanh Nguyen ◽

Tien N. Nguyen

Keyword(s):

Machine Translation ◽

Statistical Machine Translation

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 ◽

Cited By ~ 20

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 ◽

Cited By ~ 14

Author(s):

Pietro Braione ◽

Giovanni Denaro ◽

Mauro Pezzè

Keyword(s):

Symbolic Execution ◽

Term Rewriting

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 ◽

Cited By ~ 63

Author(s):

Daniel J. Dubois ◽

Giordano Tamburrelli

Keyword(s):

Software Development

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Synthesis of component and connector models from crosscutting structural views

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

Towards open architecture system

Precise range analysis on large industry code

Inferring project-specific bug patterns for detecting sibling bugs

Effective dynamic detection of alias analysis errors

Lexical statistical machine translation for language migration

Termination proofs from tests

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

Understanding gamification mechanisms for software development

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