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 ] Conf ] Mehrdad Sabetzadeh , Steve M. Easterbrook Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Strelzoff , Linda Petzold Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Manos Renieris , Steven P. Reiss Fault Localization With Nearest Neighbor Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Tao Xie , David Notkin Tool-Assisted Unit Test Selection Based on Operational Violations. [Citation Graph (0, 0)][DBLP ] Conf ] Neelam Gupta , Zachary V. Heidepriem A New Structural Coverage Criterion for Dynamic Detection of Program Invariants. [Citation Graph (0, 0)][DBLP ] Conf ] Dean Herington , P. David Stotts DeCo: A Declarative Coordination Framework for Scientific Model Federations. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Consel , Laurent Réveillère A Programmable Client-Server Model: Robust Extensibility via DSLs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ellman Specification and Synthesis of Hybrid Automata for Physics-Based Animation. [Citation Graph (0, 0)][DBLP ] Conf ] Ilya Shlyakhter , Robert Seater , Daniel Jackson , Manu Sridharan , Mana Taghdiri Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. [Citation Graph (0, 0)][DBLP ] Conf ] Jiri Barnat , Lubos Brim , Jakub Chaloupka Parallel Breadth-First Search LTL Model-Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Oksana Tkachuk , Matthew B. Dwyer , Corina S. Pasareanu Automated Environment Generation for Software Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Eli Tilevich , Stephan Urbanski , Yannis Smaragdakis , Marc Fleury Aspectizing Server-Side Distribution. [Citation Graph (0, 0)][DBLP ] Conf ] Brandon Morel , Perry Alexander Automating Component Adaptation for Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Foster , Sebastián Uchitel , Jeff Magee , Jeff Kramer Model-based Verification of Web Service Compositions. [Citation Graph (0, 0)][DBLP ] Conf ] Atif M. Memon , Ishan Banerjee , Adithya Nagarajan What Test Oracle Should I Use for Effective GUI Testing? [Citation Graph (0, 0)][DBLP ] Conf ] Yanif Ahmad , Tudor Antoniu , Sharon Goldwater , Shriram Krishnamurthi A Type System for Statically Detecting Spreadsheet Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Yuetang Deng , Phyllis G. Frankl , Zhongqiang Chen Testing Database Transaction Concurrency. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Noah Snavely , Saumya K. Debray , Gregory R. Andrews Unspeculation. [Citation Graph (0, 0)][DBLP ] Conf ] Jason McC. Smith , P. David Stotts SPQR: Flexible Automated Design Pattern Extraction From Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] Martin P. Robillard , Gail C. Murphy Automatically Inferring Concern Code from Program Investigation Activities. [Citation Graph (0, 0)][DBLP ] Conf ] James Skene , Wolfgang Emmerich A Model-Driven Approach to Non-Functional Analysis of Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Mayer , Markus Stumptner Extending Diagnosis to Debug Programs with Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Dirk Heuzeroth , Stefan Mandel , Welf Löwe Generating Design Pattern Detectors from Pattern Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Lan Guo , Bojan Cukic , Harshinder Singh Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Bunus , Peter Fritzson Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastiano Vigna Automatic Generation of Content Management Systems from EER-Based Specifications. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Gabriela Arévalo , Stéphane Ducasse , Oscar Nierstrasz XRay Views: Understanding the Internals of Classes. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Yann-Gaël Guéhéneuc , Hervé Albin-Amiot A Pragmatic Study of Binary Class Relationships. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel R. Licata , Christopher D. Harris , Shriram Krishnamurthi The Feature Signatures of Evolving Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Stürmer , Mirko Conrad Test Suite Design for Code Generation Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Hannah Harris , Mark Ryan Theoretical Foundations of Updating Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Holz An Incremental Approach to Task-Specific Information Delivery in SE Processe. [Citation Graph (0, 0)][DBLP ] Conf ] David S. Wile Architecture Style-Based Calculi for Non-functional Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Grigore Rosu , Feng Chen Certifying Measurement Unit Safety Polic. [Citation Graph (0, 0)][DBLP ] Conf ] Eugenia Díaz , Javier Tuya , Raquel Blanco Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search. [Citation Graph (0, 0)][DBLP ] Conf ] Yunja Choi , Mats Per Erik Heimdahl Model Checking Software Requirement Specifications using Domain Reduction Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Scott A. Hendrickson , Eric M. Dashofy , Richard N. Taylor An Approach for Tracing and Understanding Asynchronous Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Alejandra Garrido , Ralph Johnson Refactoring C with Conditional Compilation. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Abhik Roychoudhury Depiction and Playout of Multi-threaded Program Executions. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Fischer , Johann Schumann Applying AutoBayes to the Analysis of Planetary Nebulae Images. [Citation Graph (0, 0)][DBLP ] Conf ] Bill J. Ellis , Andrew Ireland Automation for Exception Freedom Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Hall , Andrea Zisman Overview of OpenModel-based Validation with Partial Information. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Shehata , Armin Eberlein Detecting Requirements Interactions: A Three-Level Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Aaron Searle , John Gough , David Abramson Automating Relative Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] J. Michael Moore Communicating Requirements Using End-User GUI Constructions with Argumentation. [Citation Graph (0, 0)][DBLP ] Conf ] Aditya Agrawal Graph Rewriting And Transformation (GReAT): A Solution For The Model Integrated Computing (MIC) Bottleneck. [Citation Graph (0, 0)][DBLP ] Conf ] David Safránek Visual Specification of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mahmoud Nassar VUML : a Viewpoint oriented UML Extension. [Citation Graph (0, 0)][DBLP ] Conf ] Michael L. Collard An Infrastructure to Support Meta-Differencing and Refactoring of Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] 