2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479902156

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dangling references in multi-configuration and dynamic PHP-based Web applications

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693098 ◽

2013 ◽

Cited By ~ 5

Author(s):

Hung Viet Nguyen ◽

Hoan Anh Nguyen ◽

Tung Thanh Nguyen ◽

Anh Tuan Nguyen ◽

Tien N. Nguyen

Keyword(s):

Web Applications

Download Full-text

Adding context to fault localization with integration coverage

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693124 ◽

2013 ◽

Cited By ~ 1

Author(s):

Higor Amario de Souza ◽

Marcos Lordello Chaim

Keyword(s):

Fault Localization

Download Full-text

Pex4Fun: A web-based environment for educational gaming via automated test generation

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693144 ◽

2013 ◽

Cited By ~ 6

Author(s):

Nikolai Tillmann ◽

Jonathan de Halleux ◽

Tao Xie ◽

Judith Bishop

Keyword(s):

Test Generation ◽

Web Based ◽

Educational Gaming ◽

Automated Test Generation ◽

Automated Test

Download Full-text

BLITZ: Compositional bounded model checking for real-world programs

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693074 ◽

2013 ◽

Cited By ~ 14

Author(s):

Chia Yuan Cho ◽

Vijay D'Silva ◽

Dawn Song

Keyword(s):

Model Checking ◽

Real World ◽

Bounded Model Checking

Download Full-text

BOOM: Experiences in language and tool design for distributed systems (keynote)

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693058 ◽

2013 ◽

Author(s):

Joseph M. Hellerstein

Keyword(s):

Distributed Systems ◽

Tool Design

Download Full-text

Lightweight control-flow instrumentation and postmortem analysis in support of debugging

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693096 ◽

2013 ◽

Cited By ~ 14

Author(s):

Peter Ohmann ◽

Ben Liblit

Keyword(s):

Control Flow

Download Full-text

Model/code co-refactoring: An MDE approach

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693133 ◽

2013 ◽

Cited By ~ 6

Author(s):

Jens von Pilgrim ◽

Bastian Ulke ◽

Andreas Thies ◽

Friedrich Steimann

Keyword(s):

Model Code

Download Full-text

Characteristic studies of loop problems for structural test generation via symbolic execution

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693084 ◽

2013 ◽

Cited By ~ 22

Author(s):

Xusheng Xiao ◽

Sihan Li ◽

Tao Xie ◽

Nikolai Tillmann

Keyword(s):

Test Generation ◽

Symbolic Execution ◽

Structural Test

Download Full-text

Automatically partition software into least privilege components using dynamic data dependency analysis

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693091 ◽

2013 ◽

Cited By ~ 10

Author(s):

Yongzheng Wu ◽

Jun Sun ◽

Yang Liu ◽

Jin Song Dong

Keyword(s):

Data Dependency ◽

Dependency Analysis ◽

Dynamic Data ◽

Least Privilege

Download Full-text

Automated unit testing of large industrial embedded software using concolic testing

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) ◽

10.1109/ase.2013.6693109 ◽

2013 ◽

Cited By ~ 24

Author(s):

Yunho Kim ◽

Youil Kim ◽

Taeksu Kim ◽

Gunwoo Lee ◽

Yoonkyu Jang ◽

...

Keyword(s):

Embedded Software ◽

Unit Testing ◽

Concolic Testing

Download Full-text

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Dangling references in multi-configuration and dynamic PHP-based Web applications

Adding context to fault localization with integration coverage

Pex4Fun: A web-based environment for educational gaming via automated test generation

BLITZ: Compositional bounded model checking for real-world programs

BOOM: Experiences in language and tool design for distributed systems (keynote)

Lightweight control-flow instrumentation and postmortem analysis in support of debugging

Model/code co-refactoring: An MDE approach

Characteristic studies of loop problems for structural test generation via symbolic execution

Automatically partition software into least privilege components using dynamic data dependency analysis

Automated unit testing of large industrial embedded software using concolic testing

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Latest Publications