2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Latest Publications

TOTAL DOCUMENTS

101

(FIVE YEARS 0)

H-INDEX

21

(FIVE YEARS 0)

Published By IEEE

9781424421879

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

4th International ERCIM Workshop on Software Evolution and Evolvability (Evol'08)

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.101 ◽

2008 ◽

Author(s):

Michel Wermelinger ◽

Paul Wernick ◽

Ciaran Bryce

Keyword(s):

Software Evolution

Download Full-text

Automatic Test Generation for LUSTRE/SCADE Programs

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.96 ◽

2008 ◽

Author(s):

Virginia Papailiopoulou

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Download Full-text

An Assume Guarantee Verification Methodology for Aspect-Oriented Programming

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.56 ◽

2008 ◽

Author(s):

Mustafa Ispir ◽

Aysu Betin Can

Keyword(s):

Aspect Oriented Programming ◽

Verification Methodology

Download Full-text

Reducing the Cost of Path Property Monitoring Through Sampling

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.33 ◽

2008 ◽

Author(s):

Matthew B. Dwyer ◽

Madeline Diep ◽

Sebastian Elbaum

Keyword(s):

Path Property ◽

The Cost ◽

Property Monitoring

Download Full-text

Feature Interaction Detection in the Automotive Domain

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.97 ◽

2008 ◽

Author(s):

Alma L. Juarez Dominguez

Keyword(s):

Feature Interaction ◽

Interaction Detection

Download Full-text

Model-Driven Development of Mobile Personal Health Care Applications

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.75 ◽

2008 ◽

Author(s):

Abizer Khambati ◽

John Grundy ◽

James Warren ◽

John Hosking

Keyword(s):

Health Care ◽

Personal Health ◽

Model Driven Development ◽

Model Driven ◽

Health Care Applications

Download Full-text

Software Cost Estimation using Fuzzy Decision Trees

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.51 ◽

2008 ◽

Author(s):

Andreas S. Andreou ◽

Efi Papatheocharous

Keyword(s):

Decision Trees ◽

Cost Estimation ◽

Fuzzy Decision ◽

Software Cost Estimation ◽

Software Cost ◽

Fuzzy Decision Trees

Download Full-text

Using Cluster Analysis to Improve the Design of Component Interfaces

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.54 ◽

2008 ◽

Author(s):

Rahmat Adnan ◽

Bas Graaf ◽

Arie van Deursen ◽

Joost Zonneveld

Keyword(s):

Cluster Analysis

Download Full-text

Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.30 ◽

2008 ◽

Author(s):

Moonzoo Kim ◽

Yunho Kim ◽

Hotae Kim

Keyword(s):

Flash Memory ◽

Device Driver ◽

Memory Device ◽

Unit Testing ◽

Download Full-text

MTSA: The Modal Transition System Analyser

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.78 ◽

2008 ◽

Author(s):

Nicolas D'Ippolito ◽

Dario Fischbein ◽

Marsha Chechik ◽

Sebastian Uchitel

Keyword(s):

Transition System

Download Full-text