17. ASE 2002:
Edinburgh,
Scotland,
UK
17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK.
IEEE Computer Society 2002, ISBN 0-7695-1736-6 BibTeX
@proceedings{DBLP:conf/kbse/2002,
title = {17th IEEE International Conference on Automated Software Engineering
(ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK},
booktitle = {ASE},
publisher = {IEEE Computer Society},
year = {2002},
isbn = {0-7695-1736-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Regular Papers
Software Design and Synthesis
Verification and Validation
Experience Reports
Software Specification
Program Understanding
Testing
Requirements Engineering
Reasoning Technology
Short Papers
- Mikhail Auguston, Clinton Jeffery, Scott Underwood:
A Framework for Automatic Debugging.
217-222
Electronic Edition (link) BibTeX
- Karsten Loer, Michael D. Harrison:
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems.
223-226
Electronic Edition (link) BibTeX
- Muffy Calder, Alice Miller:
Automatic Verification of any Number of Concurrent, Communicating Processes.
227-230
Electronic Edition (link) BibTeX
- Jehad Al-Dallal, Paul G. Sorenson:
System Testing for Object-Oriented Frameworks Using Hook Technology.
231-236
Electronic Edition (link) BibTeX
- David Owen, Tim Menzies, Bojan Cukic:
What Makes Finite-State Models More (or Less) Testable?
237-240
Electronic Edition (link) BibTeX
- Marlon E. R. Vieira, Debra J. Richardson:
Analyzing Dependencies in Large Component-Based Systems.
241-244
Electronic Edition (link) BibTeX
- Marcio S. Dias, Debra J. Richardson:
Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components.
245-248
Electronic Edition (link) BibTeX
- Hee Beng Kuan Tan, Weihong Li:
Systematic Bridging the Gap between Requirements and OO Design.
249-252
Electronic Edition (link) BibTeX
- Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, Yves Le Traon:
Automatic Test Cases Optimization Using a Bacteriological Adaptation Model: Application to .NET Component.
253-256
Electronic Edition (link) BibTeX
- Alicia Martínez, Hugo Estrada, Juan Sánchez, Oscar Pastor:
From Early Requirements to User Interface Prototyping: A Methodological Approach.
257-260
Electronic Edition (link) BibTeX
- Falk Fraikin, Thomas Leonhardt:
SeDiTeC - Testing Based on Sequence Diagrams.
261-266
Electronic Edition (link) BibTeX
- György Csertán, Gábor Huszerl, István Majzik, Zsigmond Pap, András Pataricza, Dániel Varró:
VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.
267-270
Electronic Edition (link) BibTeX
- Nazareno Aguirre, T. S. E. Maibaum:
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.
271-274
Electronic Edition (link) BibTeX
- James H. Andrews, Rui Fu, Vicky D. Liu:
Adding Value to Formal Test Oracles.
275-248
Electronic Edition (link) BibTeX
- Xuejun Chen:
Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems.
279-284
Electronic Edition (link) BibTeX
- Danielle Azar, Doina Precup, Salah Bouktif, Balázs Kégl, Houari A. Sahraoui:
Combining and Adapting Software Quality Predictive Models by Genetic Algorithms.
285-288
Electronic Edition (link) BibTeX
- Grigore Rosu, Jon Whittle:
Towards Certifying Domain-Specific Properties of Synthesized Code.
289-294
Electronic Edition (link) BibTeX
- David Grosser, Houari A. Sahraoui, Petko Valtchev:
Predicting Software Stability Using Case-Based Reasoning.
295-
Electronic Edition (link) BibTeX
Workshop Report
Doctoral Symposium
Copyright © Sat May 16 23:27:51 2009
by Michael Ley (ley@uni-trier.de)
