Conferences in DBLP
Sandrine-Dominique Gouraud , Alain Denise , Marie-Claude Gaudel , B. Marr A New Way of Automating Statistical Testing Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Nguyen Tran Sy , Yves Deville Automatic Test Data Generation for Programs with Integer and Float Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Darko Marinov , Sarfraz Khurshid TestEra: A Novel Framework for Automated Testing of Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Grundy , Rick Mugridge , John G. Hosking , Paul Kendall Generating EDI Message Translations from Visual Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Ewen Denney The Synthesis of a Java Card Tokenization Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Hoda Fahmy , Richard C. Holt , James R. Cordy Wins and Losses of Algebraic Transformations of Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Colin O'Halloran Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Hall Specification Modeling and Validation Applied to a Family of Network Security Products. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Lowry , Thomas Pressburger , Grigore Rosu Certifying Domain-Specific Policies. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Sims , Rance Cleaveland , Ken Butts , Scott Ranville Automated Validation of Software Models. [Citation Graph (0, 0)][DBLP ] Conf ] Yunwen Ye , Gerhard Fischer Context-Aware Browsing of Large Component Repositories. [Citation Graph (0, 0)][DBLP ] Conf ] Andrian Marcus , Jonathan I. Maletic Identification of High-Level Concept Clones in Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Nentwich , Wolfgang Emmerich , Anthony Finkelstein Static Consistency Checking for Distributed Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Ledru , Lydie du Bousquet , Pierre Bontron , Olivier Maury , Catherine Oriat , Marie-Laure Potet Test Purposes: Adapting the Notion of Specification to Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Havelund , Grigore Rosu Monitoring Programs Using Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Neelam Gupta , Praveen Rao Program Execution-Based Module Cohesion Measurement. [Citation Graph (0, 0)][DBLP ] Conf ] Dusko Pavlovic , Douglas R. Smith Composition and Refinement of Behavioral Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Albin-Amiot , Pierre Cointe , Yann-Gaël Guéhéneuc , Narendra Jussien Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Inverardi , Simone Scriboni Connectors Synthesis for Deadlock-Free Component-Based Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiro Ogata , Kokichi Futatsugi Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Grundy , Yuhong Cai , Anna Liu Generation of Distributed System Test-Beds from High-Level Software Architecture Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Halling , Paul Grünbacher , Stefan Biffl Tailoring a COTS Group Support System for Software Requirements Inspection. [Citation Graph (0, 0)][DBLP ] Conf ] Paul T. Graunke , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen Automatically Restructuring Programs for the We. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Egyed , Robert Balzer Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability. [Citation Graph (0, 0)][DBLP ] Conf ] Spencer Rugaber , Terry Shikano , Kurt Stirewalt Adequate Reverse Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Twan Basten , Dragan Bosnacki Enhancing Partial-Order Reduction via Process Clustering. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Iosif Exploiting Heap Symmetries in Explicit-State Model Checking of Software. [Citation Graph (0, 0)][DBLP ] Conf ] Guillaume P. Brat , Willem Visser Combining Static Analysis and Model Checking for Software Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Bézivin , Olivier Gerbé Towards a Precise Definition of the OMG/MDA Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Radu Grosu Shared Variables Interaction Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Hung Ledang , Jeanine Souquières Modeling Class Operations in B: Application to UML Behavioral Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Grosu , Yanhong A. Liu , Scott A. Smolka , Scott D. Stoller , Jingyu Yan Automated Software Engineering Using Concurrent Class Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Cook , Andrew Ireland , Greg Michaelson Higher Order Function Synthesis Through Proof Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Ardourel , Marianne Huchard AGATE, Access Graph-Based Tools for Handling Encapsulation. [Citation Graph (0, 0)][DBLP ] Conf ] Wuwei Shen , Kevin J. Compton , James Huggins A UML Validation Toolset Based on Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Lars-Åke Fredlund , Dilian Gurov , Thomas Noll Semi-Automated Verification of Erlang Code. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Blewitt , Alan Bundy , Ian Stark Automatic Verification of Java Design Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Raimondas Lencevicius , Edu Metz , Alexander Ran Tracing Execution of Software for Design Coverage. [Citation Graph (0, 0)][DBLP ] Conf ] Fei Xie , Vladimir Levin , James C. Browne Model Checking for an Executable Subset of UML. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Bieman , Sudipto Ghosh , Roger T. Alexander A Technique for Mutation of Java Objects. [Citation Graph (0, 0)][DBLP ] Conf ] K. Suzanne Barber , Thomas J. Graser , Jim Holt Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Paola Inverardi , Henry Muccini , Patrizio Pelliccione Automated Check of Architectural Models Consistency Using SPIN. [Citation Graph (0, 0)][DBLP ] Conf ] Apostolos Zarras , Valérie Issarny Automating the Performance and Reliability Analysis of Enterprise Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Artur S. d'Avila Garcez , Alessandra Russo , Bashar Nuseibeh , Jeff Kramer An Analysis-Revision Cycle to Evolve Requirements Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Zisman , Alexander Kozlenkov Knowledge Base Approach to Consistency Management of UML Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis Parissis , Jérôme Vassy Strategies for Automated Specification-Based Testing of Synchronous Software. [Citation Graph (0, 0)][DBLP ] Conf ] Iain McLaren , Tony Wicks Developing Generative Frameworks Using XML. [Citation Graph (0, 0)][DBLP ] Conf ] Yannick Chevalier , Laurent Vigneron A Tool for Lazy Verification of Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Legeard , Fabien Peureux Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Tevfik Bultan , Tuba Yavuz-Kahveci Action Language Verifier. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Egyed Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Tim Menzies , James D. Kiper Better Reasoning About Software Engineering Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Whittle , Jeffrey Van Baalen , Johann Schumann , Peter Robinson , Thomas Pressburger , John Penix , Phil Oh , Michael R. Lowry , Guillaume P. Brat Amphion/NAV: Deductive Synthesis of State Estimation Software. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Erwig Programs Are Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald C. Gannod , Sunil Gupta An Automated Tool for Analyzing Petri Nets Using SPIN. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Jürjens , Guido Wimmel Formally Testing Fail-Safety of Electronic Purse Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitra Giannakopoulou , Klaus Havelund Automata-Based Verification of Temporal Properties on Running Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter , Axel Schairer Towards an Evolutionary Formal Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Brad Long , Daniel Hoffman , Paul A. Strooper A Concurrency Test Tool for Java Monitors. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Filipe Andrade , José Luiz Fiadeiro , Michel Wermelinger Enforcing Business Policies Through Automated Reconfiguration. [Citation Graph (0, 0)][DBLP ] Conf ] Janet E. Burge , David C. Brown Design Rationale for Software Maintenanc. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Fenkam Security Specification and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Cindy Kong Implementation of Specification Conjunction and Domain Interaction in Rosetta. [Citation Graph (0, 0)][DBLP ] Conf ] Hung Ledang Automatic Translation from UML Specifications to B. [Citation Graph (0, 0)][DBLP ] Conf ] Beum-Seuk Lee Automated Conversion from a Requirements Document to an Executable Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjai Rayadurgam Automated Test-Data Generation from Formal Models of Software. [Citation Graph (0, 0)][DBLP ] Conf ] Ilya Romanovsky Model-Checking Real-Time Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Songtao Xia Verify Properties of Mobile Code. [Citation Graph (0, 0)][DBLP ] Conf ] 