2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
Latest Publications

TOTAL DOCUMENTS

115

(FIVE YEARS 0)

H-INDEX

22

(FIVE YEARS 0)

Published By IEEE

9781457716393, 9781457716386

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Scalable and precise symbolic analysis for atomicity violations

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100045 ◽

2011 ◽

Author(s):

Malay K. Ganai

Keyword(s):

Symbolic Analysis ◽

Atomicity Violations

Download Full-text

An optimal strategy for algorithmic debugging

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100055 ◽

2011 ◽

Author(s):

David Insa ◽

Josep Silva

Keyword(s):

Optimal Strategy

Download Full-text

Mining test oracles of web search engines

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100085 ◽

2011 ◽

Author(s):

Wujie Zheng ◽

Hao Ma ◽

Michael R. Lyu ◽

Tao Xie ◽

Irwin King

Keyword(s):

Search Engines ◽

Test Oracles ◽

Web Search Engines

Download Full-text

Automatic generation of load tests

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100093 ◽

2011 ◽

Author(s):

Pingyu Zhang ◽

Sebastian Elbaum ◽

Matthew B. Dwyer

Keyword(s):

Automatic Generation ◽

Download Full-text

Title pages

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100040 ◽

2011 ◽

Keyword(s):

Download Full-text

Stateful testing: Finding more errors in code and contracts

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100094 ◽

2011 ◽

Author(s):

Yi Wei ◽

Hannes Roth ◽

Carlo A. Furia ◽

Yu Pei ◽

Alexander Horton ◽

...

Download Full-text

Differential precondition checking: A lightweight, reusable analysis for refactoring tools

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100067 ◽

2011 ◽

Author(s):

Jeffrey L. Overbey ◽

Ralph E. Johnson

Keyword(s):

Refactoring Tools

Download Full-text

Precomputing possible configuration error diagnoses

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100053 ◽

2011 ◽

Author(s):

Ariel Rabkin ◽

Randy Katz

Download Full-text

Supporting domain-specific state space reductions through local partial-order reduction

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100044 ◽

2011 ◽

Author(s):

Peter Bokor ◽

Johannes Kinder ◽

Marco Serafini ◽

Neeraj Suri

Keyword(s):

State Space ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Domain Specific

Download Full-text

Generating essential user interface prototypes to validate requirements

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100126 ◽

2011 ◽

Author(s):

Massila Kamalrudin ◽

John Grundy

Keyword(s):

Download Full-text