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