ASE 2003

54 papers

1. A Java Component Model for Evolving Software Systems · Moacir C. da Silva Jr., Paulo Asterio de Castro Guerra, Cecília M. F. Rubira
2. A Model-Driven Approach to Non-Functional Analysis of Software Architectures · James Skene, Wolfgang Emmerich
3. A New Structural Coverage Criterion for Dynamic Detection of Program Invariants · Neelam Gupta, Zachary V. Heidepriem
4. A Pragmatic Study of Binary Class Relationships · Yann-Gaël Guéhéneuc, Hervé Albin-Amiot
5. A Programmable Client-Server Model: Robust Extensibility via DSLs · Charles Consel, Laurent Réveillère
6. A Type System for Statically Detecting Spreadsheet Errors · Yanif Ahmad, Tudor Antoniu, Sharon Goldwater, Shriram Krishnamurthi
7. An Approach for Tracing and Understanding Asynchronous Architectures · Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor
8. An Empirical Study on Groupware Support for Software Inspection Meetings · Paul Grünbacher, Michael Halling, Stefan Biffl
9. An Incremental Approach to Task-Specific Information Delivery in SE Processe · Harald Holz
10. An Infrastructure to Support Meta-Differencing and Refactoring of Source Code · Michael L. Collard
11. Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach · Mehrdad Sabetzadeh, Steve M. Easterbrook
12. Applying AutoBayes to the Analysis of Planetary Nebulae Images · Bernd Fischer, Johann Schumann
13. Architecture Style-Based Calculi for Non-functional Properties · David S. Wile
14. Aspectizing Server-Side Distribution · Eli Tilevich, Stephan Urbanski, Yannis Smaragdakis, Marc J. Fleury
15. Automated Environment Generation for Software Model Checking · Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu
16. Automated Requirements-based Generation of Test Cases for Product Families · Clémentine Nebut, Simon Pickin, Yves Le Traon, Jean-Marc Jézéquel
17. Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search · Eugenia Díaz, Javier Tuya, Raquel Blanco
18. Automatic Generation of Content Management Systems from EER-Based Specifications · Sebastiano Vigna
19. Automatically Inferring Concern Code from Program Investigation Activities · Martin P. Robillard, Gail C. Murphy
20. Automating Component Adaptation for Reuse · Brandon Morel, Perry Alexander
21. Automating Relative Debugging · Aaron Searle, K. John Gough, David Abramson
22. Automation for Exception Freedom Proofs · Bill J. Ellis, Andrew Ireland
23. Certifying Measurement Unit Safety Polic · Grigore Rosu, Feng Chen
24. Communicating Requirements Using End-User GUI Constructions with Argumentation · J. Michael Moore
25. DeCo: A Declarative Coordination Framework for Scientific Model Federations · Dean Herington, P. David Stotts
26. Debugging Overconstrained Declarative Models Using Unsatisfiable Cores · Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
27. Depiction and Playout of Multi-threaded Program Executions · Abhik Roychoudhury
28. Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications · Andrew Strelzoff, Linda R. Petzold
29. Detecting Requirements Interactions: A Three-Level Framework · Mohamed Shehata, Armin Eberlein
30. Extending Diagnosis to Debug Programs with Exceptions · Wolfgang Mayer, Markus Stumptner
31. Fault Localization With Nearest Neighbor Queries · Manos Renieris, Steven P. Reiss
32. Generating Design Pattern Detectors from Pattern Specifications · Dirk Heuzeroth, Stefan Mandel, Welf Löwe
33. Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck · Aditya Agrawal
34. Model Checking Software Requirement Specifications using Domain Reduction Abstraction · Yunja Choi, Mats Per Erik Heimdahl
35. Model-based Verification of Web Service Compositions · Howard Foster, Sebastián Uchitel, Jeff Magee, Jeff Kramer
36. On the automatic evolution of an OS kernel using temporal logic and AOP · Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur
37. Overview of OpenModel-based Validation with Partial Information · Robert J. Hall, Andrea Zisman
38. Parallel Breadth-First Search LTL Model-Checking · Jiri Barnat, Lubos Brim, Jakub Chaloupka
39. Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks · Lan Guo, Bojan Cukic, Harshinder Singh
40. Refactoring C with Conditional Compilation · Alejandra Garrido, Ralph E. Johnson
41. SPQR: Flexible Automated Design Pattern Extraction From Source Code · Jason McC. Smith, P. David Stotts
42. Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models · Peter Bunus, Peter Fritzson
43. Specification and Synthesis of Hybrid Automata for Physics-Based Animation · Thomas Ellman
44. Test Suite Design for Code Generation Tools · Ingo Stürmer, Mirko Conrad
45. Testing Database Transaction Concurrency · Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen
46. The Feature Signatures of Evolving Programs · Daniel R. Licata, Christopher D. Harris, Shriram Krishnamurthi
47. Theoretical Foundations of Updating Systems · Hannah Harris, Mark Ryan
48. Tool-Assisted Unit Test Selection Based on Operational Violations · Tao Xie, David Notkin
49. Unspeculation · Noah Snavely, Saumya K. Debray, Gregory R. Andrews
50. VUML : a Viewpoint oriented UML Extension · Mahmoud Nassar
51. Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations · Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart + 1 more
52. Visual Specification of Concurrent Systems · David Safránek
53. What Test Oracle Should I Use for Effective GUI Testing? · Atif M. Memon, Ishan Banerjee, Adithya Nagarajan
54. XRay Views: Understanding the Internals of Classes · Gabriela Arévalo, Stéphane Ducasse, Oscar Nierstrasz