Conferences in DBLP
Dimitra Giannakopoulou , Corina S. Pasareanu , Howard Barringer Assumption Generation for Software Component Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Wamberto Weber Vasconcelos , Carles Sierra , Marc Esteva An Approach to Rapid Prototyping of Large Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Steve MacDonald , Duane Szafron , Jonathan Schaeffer , John Anvik , Steven Bromling , Kai Tan Generative Design Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Per Erik Heimdahl , Yunja Choi , Michael W. Whalen Deviation Analysis Through Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Grundy , Guoliang Ding Automatic Validation of Deployed J2EE Components Using Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Maccari , Claudio Riva , Francesco Maccari On CASE Tool Usage at Nokia. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Roach , Jeffrey Van Baalen Experience Report on Automated Procedure Construction for Deductive Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Don S. Batory , Roberto E. Lopez-Herrejon , Jean-Philippe Martin Generating Product-Lines of Product-Families. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ellman , Ryan Deak , Jason Fotinatos Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Hall CPPROFJ: Aspect-Capable Call Path Profiling of Multi-Threaded Java Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Yann-Gaël Guéhéneuc , Rémi Douence , Narendra Jussien No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fenkam , Harald Gall , Mehdi Jazayeri Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick J. Schroeder , Pat Faherty , Bogdan Korel Generating Expected Results for Automated Black-Box Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Srinivas Visvanathan , Neelam Gupta Generating Test Data for Functions with Pointer Inputs. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Egyed , Paul Grünbacher Automating Requirements Traceability: Beyond the Record & Replay Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] K. Suzanne Barber , Thomas J. Graser , Jim Holt Enabling Iterative Software Architecture Derivation Using Early Non-Functional Property Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Menzies , David Raffo , Siri-on Setamanit , Ying Hu , Sina Tootoonia Model-Based Tests of Truisms. [Citation Graph (0, 0)][DBLP ] Conf ] Harry C. Li , Shriram Krishnamurthi , Kathi Fisler Interfaces for Modular Feature Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Tanton H. Gibbs , Brian A. Malloy , James F. Power Automated Validation of Class Invariants in C ++ Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail Auguston , Clinton Jeffery , Scott Underwood A Framework for Automatic Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Karsten Loer , Michael D. Harrison Towards Usable and Relevant Model Checking Techniques for the Analysis of Dependable Interactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Muffy Calder , Alice Miller Automatic Verification of any Number of Concurrent, Communicating Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Jehad Al-Dallal , Paul G. Sorenson System Testing for Object-Oriented Frameworks Using Hook Technology. [Citation Graph (0, 0)][DBLP ] Conf ] David Owen , Tim Menzies , Bojan Cukic What Makes Finite-State Models More (or Less) Testable? [Citation Graph (0, 0)][DBLP ] Conf ] Marlon E. R. Vieira , Debra J. Richardson Analyzing Dependencies in Large Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marcio S. Dias , Debra J. Richardson Identifying Cause & Effect Relations between Events in Concurrent Event-Based Components. [Citation Graph (0, 0)][DBLP ] Conf ] Hee Beng Kuan Tan , Weihong Li Systematic Bridging the Gap between Requirements and OO Design. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Alicia Martínez , Hugo Estrada , Juan Sánchez , Oscar Pastor From Early Requirements to User Interface Prototyping: A Methodological Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Falk Fraikin , Thomas Leonhardt SeDiTeC - Testing Based on Sequence Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Nazareno Aguirre , T. S. E. Maibaum A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Andrews , Rui Fu , Vicky D. Liu Adding Value to Formal Test Oracles. [Citation Graph (0, 0)][DBLP ] Conf ] Xuejun Chen Dependence Management for Dynamic Reconfiguration of Component-Based Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Danielle Azar , Doina Precup , Salah Bouktif , Balázs Kégl , Houari A. Sahraoui Combining and Adapting Software Quality Predictive Models by Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Grigore Rosu , Jon Whittle Towards Certifying Domain-Specific Properties of Synthesized Code. [Citation Graph (0, 0)][DBLP ] Conf ] David Grosser , Houari A. Sahraoui , Petko Valtchev Predicting Software Stability Using Case-Based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Ledru , David F. Redmiles Report on the Workshop on the State of the Art in Automated Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Sigrid Goldmann A Model of Planning and Enactment Support in Complex Software Development Projects. [Citation Graph (0, 0)][DBLP ] Conf ] Jitka Crhová Distributed Modular Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Abdelmadjid Ketfi , Noureddine Belkhatir , Pierre-Yves Cunin Adapting Applications on the Fly. [Citation Graph (0, 0)][DBLP ] Conf ] Anh-Tuyet Le Process Support for Tools Interoperability. [Citation Graph (0, 0)][DBLP ] Conf ] Alin Stefanescu Automatic Synthesis of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karim-Cyril Griche Automatic Inter-Procedural Test Case Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Ragnhild Van Der Straeten Semantic Links and Co-Evolution in Object-Oriented Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] 