1. Home
  2. Proceedings
  3. ASE
  4. ASE 2002
Default Cover Image

Proceedings 17th IEEE International Conference on Automated Software Engineering,

Sept. 23 2002 to Sept. 27 2002

Edinburgh, UK

Table of Contents

Proceedings ASE 2002. 17th IEEE International Conference on Automated Software Engineering [front matter]Freely available from IEEE.
Introduction
PrefaceFreely available from IEEE.pp. ix
Introduction
ASE 2002 Organizing CommitteeFreely available from IEEE.pp. xi
Introduction
Programme CommitteeFreely available from IEEE.pp. xii
Introduction
Additional ReviewersFreely available from IEEE.pp. xiii
Assumption generation for software component verificationFull-text access may be available. Sign in or learn about subscription options.pp. 3-12
by D. Giannakopoulou, C.S. Pasareanu, H. Barringer
An approach to rapid prototyping of large multi-agent systemsFull-text access may be available. Sign in or learn about subscription options.pp. 13-22
by W. Vasconcelos, C. Sierra, M. Esteva
Generative design patternsFull-text access may be available. Sign in or learn about subscription options.pp. 23-34
by S. MacDonald, D. Szafron, J. Schaeffer, J. Anvik, S. Bromling, K. Tan
Deviation analysis through model checkingFull-text access may be available. Sign in or learn about subscription options.pp. 37-46
by M.P.E. Heimdahl, Y. Choi, M. Whalen
Automatic validation of deployed J2EE components using aspectsFull-text access may be available. Sign in or learn about subscription options.pp. 47-56
by J. Grundy, Guoliang Ding
On CASE tool usage at NokiaFull-text access may be available. Sign in or learn about subscription options.pp. 59-68
by A. Maccari, C. Riva, F. Maccari
Experience report on automated procedure construction for deductive synthesisFull-text access may be available. Sign in or learn about subscription options.pp. 69-78
by S. Roach
Generating product-lines of product-familiesFull-text access may be available. Sign in or learn about subscription options.pp. 81-92
by D. Batory, R.E. Lopez-Herrejon, J.-P. Martin
Knowledge-based synthesis of numerical programs for simulation of rigid-body systems in physics-based animationFull-text access may be available. Sign in or learn about subscription options.pp. 93-104
by T. Ellman, R. Deak, J. Fotinatos
CpprofJ: aspect-capable call path profiling of multi-threaded Java applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 107-116
by R.J. Hall
No Java without caffeine: A tool for dynamic analysis of Java programsFull-text access may be available. Sign in or learn about subscription options.pp. 117-126
by Y.-G. Gueheneuc, R. Douence, N. Jussien
Constructing CORBA-supported oracles for testing: a case study in automated software testingFull-text access may be available. Sign in or learn about subscription options.pp. 129-138
by P. Fenkam, H. Gall, M. Jazayeri
Generating expected results for automated black-box testingFull-text access may be available. Sign in or learn about subscription options.pp. 139-148
by P.J. Schroeder, P. Faherty, B. Korel
Generating test data for functions with pointer inputsFull-text access may be available. Sign in or learn about subscription options.pp. 149-160
by S. Visvanathan, N. Gupta
Automating requirements traceability: Beyond the record & replay paradigmFull-text access may be available. Sign in or learn about subscription options.pp. 163-171
by A. Egyed, P. Grunbacher
Enabling iterative software architecture derivation using early non-functional property evaluationFull-text access may be available. Sign in or learn about subscription options.pp. 172-182
by K.S. Barber, T. Graser, J. Holt
Model-based tests of truismsFull-text access may be available. Sign in or learn about subscription options.pp. 183-191
by T. Menzies, D. Raffo, S.-O. Setamanit, Ying Hu, S. Tootoonian
Interfaces for modular feature verificationFull-text access may be available. Sign in or learn about subscription options.pp. 195-204
by H.C. Li, S. Krishnamurthi, K. Fisler
Automated validation of class invariants in C++ applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 205-214
by T.H. Gibbs, B.A. Malloy, J.F. Power
A framework for automatic debuggingFull-text access may be available. Sign in or learn about subscription options.pp. 217-222
by M. Auguston, C. Jeffery, S. Underwood
Towards usable and relevant model checking techniques for the analysis of dependable interactive systemsFull-text access may be available. Sign in or learn about subscription options.pp. 223-226
by K. Loer, M. Harrison
Automatic verification of any number of concurrent, communicating processesFull-text access may be available. Sign in or learn about subscription options.pp. 227-230
by M. Calder, A. Miller
System testing for object-oriented frameworks using hook technologyFull-text access may be available. Sign in or learn about subscription options.pp. 231-236
by J. Al Dallal, P. Sorenson
What makes finite-state models more (or less) testable?Full-text access may be available. Sign in or learn about subscription options.pp. 237-240
by D. Owen, T. Menzies, B. Cukic
Analyzing dependencies in large component-based systemsFull-text access may be available. Sign in or learn about subscription options.pp. 241-244
by M. Vieira, D. Richardson
Identifying cause and effect relations between events in concurrent event-based componentsFull-text access may be available. Sign in or learn about subscription options.pp. 245-248
by M.S. Dias, D.J. Richardson
Systematic bridging the gap between requirements and OO designFull-text access may be available. Sign in or learn about subscription options.pp. 249-252
by Hee Beng Kuan Tan, Weihong Li
Author indexFreely available from IEEE.pp. 318-319
Automatic test case optimization using a bacteriological adaptation model: application to .NET componentsFull-text access may be available. Sign in or learn about subscription options.pp. 253-256
by B. Baudry, F. Fleurey, J.-M. Jezequel, Y. Le Traon
From early requirements to user interface prototyping: a methodological approachFull-text access may be available. Sign in or learn about subscription options.pp. 257-260
by A. Martinez, H. Estrada, J. Sanchez, O. Pastor
SeDiTeC-testing based on sequence diagramsFull-text access may be available. Sign in or learn about subscription options.pp. 261-266
by F. Fraikin, T. Leonhardt
VIATRA - visual automated transformations for formal verification and validation of UML modelsFull-text access may be available. Sign in or learn about subscription options.pp. 267-270
by G. Csertan, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, D. Varro
A temporal logic approach to the specification of reconfigurable component-based systemsFull-text access may be available. Sign in or learn about subscription options.pp. 271-274
by N. Aguirre, T. Maibaum
Adding value to formal test oraclesFull-text access may be available. Sign in or learn about subscription options.pp. 275-278
by J.H. Andrews, Rui Fu, V.D. Liu
Dependence management for dynamic reconfiguration of component-based distributed systemsFull-text access may be available. Sign in or learn about subscription options.pp. 279-284
by Xuejun Chen
Combining and adapting software quality predictive models by genetic algorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 285-288
by D. Azar, D. Precup, S. Bouktif, B. Kegl, H. Sahraoui
Towards certifying domain-specific properties of synthesized codeFull-text access may be available. Sign in or learn about subscription options.pp. 289-294
by G. Rosu, J. Whittle
Predicting software stability using case-based reasoningFull-text access may be available. Sign in or learn about subscription options.pp. 295-298
by D. Grosser, H.A. Sahraoui, P. Valtchev
Monitoring requirements: a case studyFull-text access may be available. Sign in or learn about subscription options.pp. 299-304
by S. Fickas, T. Beauchamp, N.A.R. Mamy
Report on the workshop on the state of the art in automated software engineeringFull-text access may be available. Sign in or learn about subscription options.pp. 307-308
by Y. Ledru, D.F. Redmiles
A model of planning and enactment support in complex software development projectsFull-text access may be available. Sign in or learn about subscription options.pp. 311-311
by S. Goldmann
Distributed modular model checkingFull-text access may be available. Sign in or learn about subscription options.pp. 312-312
by J. Crhova
Adapting applications on the flyFull-text access may be available. Sign in or learn about subscription options.pp. 313-313
by A. Ketfi, N. Belkhatir, P.-Y. Cunin
Process support for tools interoperabilityFull-text access may be available. Sign in or learn about subscription options.pp. 314-314
by Le A-T
Automatic synthesis of distributed systemsFull-text access may be available. Sign in or learn about subscription options.pp. 315-315
by A. Stefanescu
Automatic inter-procedural test case generationFull-text access may be available. Sign in or learn about subscription options.pp. 316-316
by K.-C. Griche
Semantic links and co-evolution in object-oriented software developmentFull-text access may be available. Sign in or learn about subscription options.pp. 317-317
by R. van der Straeten
Index of Authors
Author IndexFreely available from IEEE.pp. 319
Showing 53 out of 53