default search action
17th 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
Regular Papers
Software Design and Synthesis
- Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
Assumption Generation for Software Component Verification. 3-12 - Wamberto Weber Vasconcelos
, Carles Sierra, Marc Esteva:
An Approach to Rapid Prototyping of Large Multi-Agent Systems. 13-22 - Steve MacDonald, Duane Szafron, Jonathan Schaeffer, John Anvik
Generative Design Patterns. 23-
Verification and Validation
- Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
Deviation Analysis Through Model Checking. 37-46 - John C. Grundy
Automatic Validation of Deployed J2EE Components Using Aspects. 47-
Experience Reports
- Alessandro Maccari, Claudio Riva, Francesco Maccari:
On CASE Tool Usage at Nokia. 59-68 - Steve Roach, Jeffrey Van Baalen:
Experience Report on Automated Procedure Construction for Deductive Synthesis. 69-
Software Specification
- Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin:
Generating Product-Lines of Product-Families. 81-92 - Thomas Ellman, Ryan Deak, Jason Fotinatos:
Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation. 93-
Program Understanding
- Robert J. Hall:
CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. 107-116 - Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien:
No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs. 117-
Testing
- Pascal Fenkam, Harald C. Gall
Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing. 129-138 - Patrick J. Schroeder, Pat Faherty, Bogdan Korel:
Generating Expected Results for Automated Black-Box Testing. 139-148 - Srinivas Visvanathan, Neelam Gupta:
Generating Test Data for Functions with Pointer Inputs. 149-
Requirements Engineering
- Alexander Egyed, Paul Grünbacher
Automating Requirements Traceability: Beyond the Record & Replay Paradigm. 163-171 - K. Suzanne Barber, Thomas J. Graser, Jim Holt:
Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation. 172-182 - Tim Menzies, David Raffo, Siri-on Setamanit, Ying Hu, Sina Tootoonia:
Model-Based Tests of Truisms. 183-
Reasoning Technology
- Harry C. Li, Shriram Krishnamurthi
Interfaces for Modular Feature Verification. 195-204 - Tanton H. Gibbs, Brian A. Malloy, James F. Power:
Automated Validation of Class Invariants in C ++ Applications. 205-
Short Papers
- Mikhail Auguston, Clinton Jeffery, Scott Underwood:
A Framework for Automatic Debugging. 217-222 - Karsten Loer, Michael D. Harrison:
Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. 223-226 - Muffy Calder, Alice Miller:
Automatic Verification of any Number of Concurrent, Communicating Processes. 227-230 - Jehad Al-Dallal
System Testing for Object-Oriented Frameworks Using Hook Technology. 231-236 - David Owen, Tim Menzies, Bojan Cukic
What Makes Finite-State Models More (or Less) Testable? 237-240 - Marlon E. R. Vieira, Debra J. Richardson:
Analyzing Dependencies in Large Component-Based Systems. 241-244 - Marcio S. Dias, Debra J. Richardson:
Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. 245-248 - Hee Beng Kuan Tan, Weihong Li:
Systematic Bridging the Gap between Requirements and OO Design. 249-252 - 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 - Alicia Martínez, Hugo Estrada
From Early Requirements to User Interface Prototyping: A Methodological Approach. 257-260 - Falk Fraikin, Thomas Leonhardt:
SeDiTeC - Testing Based on Sequence Diagrams. 261-266 - 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 - Nazareno Aguirre, T. S. E. Maibaum:
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. 271-274 - James H. Andrews, Rui Fu, Vicky D. Liu:
Adding Value to Formal Test Oracles. 275-248 - Xuejun Chen:
Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems. 279-284 - Danielle Azar
Combining and Adapting Software Quality Predictive Models by Genetic Algorithms. 285-288 - Grigore Rosu, Jon Whittle:
Towards Certifying Domain-Specific Properties of Synthesized Code. 289-294 - David Grosser, Houari A. Sahraoui, Petko Valtchev
Predicting Software Stability Using Case-Based Reasoning. 295-
Workshop Report
- Yves Ledru, David F. Redmiles:
Report on the Workshop on the State of the Art in Automated Software Engineering. 307-
Doctoral Symposium
- Sigrid Goldmann:
A Model of Planning and Enactment Support in Complex Software Development Projects. 311 - Jitka Crhová:
Distributed Modular Model Checking. 312 - Abdelmadjid Ketfi, Noureddine Belkhatir, Pierre-Yves Cunin:
Adapting Applications on the Fly. 313 - Anh-Tuyet Le:
Process Support for Tools Interoperability. 314 - Alin Stefanescu:
Automatic Synthesis of Distributed Systems. 315 - Karim-Cyril Griche:
Automatic Inter-Procedural Test Case Generation. 316 - Ragnhild Van Der Straeten:
Semantic Links and Co-Evolution in Object-Oriented Software Development. 317
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: