21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769525792

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Preface

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.54 ◽

2006 ◽

Download Full-text

Introduction to tool demonstrations

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.44 ◽

2006 ◽

Download Full-text

An Automated Formal Approach to Managing Dynamic Reconfiguration

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.12 ◽

2006 ◽

Cited By ~ 23

Author(s):

Ian Warren ◽

Jing Sun ◽

Sanjev Krishnamohan ◽

Thiranjith Weerasinghe

Keyword(s):

Dynamic Reconfiguration ◽

Formal Approach

Download Full-text

Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.65 ◽

2006 ◽

Author(s):

Janice Singer

Keyword(s):

Evaluation Methods ◽

Testing Tools ◽

Tools And Techniques

Download Full-text

A Portable Compiler-Integrated Approach to Permanent Checking

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.8 ◽

2006 ◽

Cited By ~ 8

Author(s):

Nic Volanschi

Keyword(s):

Integrated Approach

Download Full-text

Automatic Property Checking for Software: Past, Present and Future

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.24 ◽

2006 ◽

Cited By ~ 1

Author(s):

S.K. Rajamani

Download Full-text

LSS: A Tool for Large Scale Scenarios

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.47 ◽

2006 ◽

Cited By ~ 2

Author(s):

Robert J. Hall

Keyword(s):

Large Scale

Download Full-text

An Automated Approach for Goal-driven, Specification-based Testing

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.11 ◽

2006 ◽

Cited By ~ 7

Author(s):

Kristina Winbladh ◽

Thomas A. Alspaugh ◽

Hadar Ziv ◽

Debra J. Richardson

Download Full-text

Automatic Identification of Bug-Introducing Changes

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.23 ◽

2006 ◽

Cited By ~ 95

Author(s):

Sunghun Kim ◽

Thomas Zimmermann ◽

Kai Pan ◽

E. James Jr. Whitehead

Keyword(s):

Automatic Identification

Download Full-text

Tobias-Z: An executable formal specification of a test generator

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) ◽

10.1109/ase.2006.67 ◽

2006 ◽

Cited By ~ 1

Author(s):

Y. Ledru ◽

L. du Bousquet

Keyword(s):

Formal Specification

Download Full-text

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Preface

Introduction to tool demonstrations

An Automated Formal Approach to Managing Dynamic Reconfiguration

Testing Tools and Techniques: A Mini-Tutorial on Evaluation Methods for ASE

A Portable Compiler-Integrated Approach to Permanent Checking

Automatic Property Checking for Software: Past, Present and Future

LSS: A Tool for Large Scale Scenarios

An Automated Approach for Goal-driven, Specification-based Testing

Automatic Identification of Bug-Introducing Changes

Tobias-Z: An executable formal specification of a test generator

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)
Latest Publications