Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th ASE 2003: Montreal, Canada
- 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada. IEEE Computer Society 2003, ISBN 0-7695-2035-9
Regular Papers
Requirements, Interfaces and Groupware
- Paul Grünbacher, Michael Halling, Stefan Biffl:
An Empirical Study on Groupware Support for Software Inspection Meetings. 4-11 - Mehrdad Sabetzadeh
, Steve M. Easterbrook:
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. 12-21 - Andrew Strelzoff, Linda R. Petzold:
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications. 22-29
Testing I
- Manos Renieris, Steven P. Reiss:
Fault Localization With Nearest Neighbor Queries. 30-39 - Tao Xie, David Notkin:
Tool-Assisted Unit Test Selection Based on Operational Violations. 40-48 - Neelam Gupta, Zachary V. Heidepriem:
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants. 49-59
Software Architectures and Distributed Systems
- Dean Herington, P. David Stotts:
DeCo: A Declarative Coordination Framework for Scientific Model Federations. 60-69 - Charles Consel, Laurent Réveillère:
A Programmable Client-Server Model: Robust Extensibility via DSLs. 70-79 - Thomas Ellman:
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. 80-93
Model Checking
- Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri:
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. 94-105 - Jiri Barnat, Lubos Brim, Jakub Chaloupka:
Parallel Breadth-First Search LTL Model-Checking. 106-115 - Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu:
Automated Environment Generation for Software Model Checking. 116-129
Software Components
- Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc J. Fleury:
Aspectizing Server-Side Distribution. 130-141 - Brandon Morel, Perry Alexander:
Automating Component Adaptation for Reuse. 142-151 - Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer:
Model-based Verification of Web Service Compositions. 152-163
Testing II
- Atif M. Memon, Ishan Banerjee, Adithya Nagarajan:
What Test Oracle Should I Use for Effective GUI Testing? 164-173 - Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi:
A Type System for Statically Detecting Spreadsheet Errors. 174-183 - Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen:
Testing Database Transaction Concurrency. 184-195
Software Evolution and Maintenance
- Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur:
On the automatic evolution of an OS kernel using temporal logic and AOP. 196-204 - Noah Snavely, Saumya K. Debray, Gregory R. Andrews:
Unspeculation. 205-214 - Jason McC. Smith, P. David Stotts:
SPQR: Flexible Automated Design Pattern Extraction From Source Code. 215-224 - Martin P. Robillard, Gail C. Murphy:
Automatically Inferring Concern Code from Program Investigation Activities. 225-235
Short Papers
- James Skene, Wolfgang Emmerich:
A Model-Driven Approach to Non-Functional Analysis of Software Architectures. 236-239 - Wolfgang Mayer, Markus Stumptner:
Extending Diagnosis to Debug Programs with Exceptions. 240-244 - Dirk Heuzeroth, Stefan Mandel, Welf Löwe:
Generating Design Pattern Detectors from Pattern Specifications. 245-248 - Lan Guo, Bojan Cukic, Harshinder Singh:
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks. 249-252 - Peter Bunus, Peter Fritzson:
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. 253-258 - Sebastiano Vigna:
Automatic Generation of Content Management Systems from EER-Based Specifications. 259-262 - Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel:
Automated Requirements-based Generation of Test Cases for Product Families. 263-266 - Gabriela Arévalo, Stéphane Ducasse, Oscar Nierstrasz:
XRay Views: Understanding the Internals of Classes. 267-270 - Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman:
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations. 271-276 - Yann-Gaël Guéhéneuc, Hervé Albin-Amiot:
A Pragmatic Study of Binary Class Relationships. 277-280 - Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi:
The Feature Signatures of Evolving Programs. 281-285 - Ingo Stürmer, Mirko Conrad:
Test Suite Design for Code Generation Tools. 286-290 - Hannah Harris, Mark Ryan:
Theoretical Foundations of Updating Systems. 291-294 - Harald Holz:
An Incremental Approach to Task-Specific Information Delivery in SE Processe. 295-298 - David S. Wile:
Architecture Style-Based Calculi for Non-functional Properties. 299-303 - Grigore Rosu, Feng Chen:
Certifying Measurement Unit Safety Polic. 304-309 - Eugenia Díaz, Javier Tuya, Raquel Blanco:
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. 310-313 - Yunja Choi, Mats Per Erik Heimdahl:
Model Checking Software Requirement Specifications using Domain Reduction Abstraction. 314-317 - Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor:
An Approach for Tracing and Understanding Asynchronous Architectures. 318-322 - Alejandra Garrido, Ralph E. Johnson:
Refactoring C with Conditional Compilation. 323-326 - Moacir C. da Silva Jr., Paulo Asterio de Castro Guerra, Cecília M. F. Rubira:
A Java Component Model for Evolving Software Systems. 327-330 - Abhik Roychoudhury:
Depiction and Playout of Multi-threaded Program Executions. 331-336 - Bernd Fischer, Johann Schumann:
Applying AutoBayes to the Analysis of Planetary Nebulae Images. 337-342 - Bill J. Ellis, Andrew Ireland:
Automation for Exception Freedom Proofs. 343-346 - Robert J. Hall, Andrea Zisman:
Overview of OpenModel-based Validation with Partial Information. 347-351
Doctoral Symposium Papers
- Mohamed Shehata, Armin Eberlein:
Detecting Requirements Interactions: A Three-Level Framework. 352-355 - Aaron Searle, K. John Gough, David Abramson:
Automating Relative Debugging. 356-359 - J. Michael Moore:
Communicating Requirements Using End-User GUI Constructions with Argumentation. 360-363 - Aditya Agrawal:
Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck. 364-368 - David Safránek:
Visual Specification of Concurrent Systems. 369-372 - Mahmoud Nassar:
VUML : a Viewpoint oriented UML Extension. 373-376 - Michael L. Collard:
An Infrastructure to Support Meta-Differencing and Refactoring of Source Code. 377-380
a service of 
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 2023-06-05 01:15 CEST 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:
