Conferences in DBLP
Bev Littlewood Complexity Is the Enemy of Dependability - Can Diversity Provide a Defense? [Citation Graph (0, 0)][DBLP ] Conf ] Sudipto Ghosh , Nishant Bawa , Sameer Goel , Raghu Reddy Validating Run-time Interactions in Distributed Java Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Henderson Reasoning about Asynchronous Behaviour in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Srinivasan Ramani , Katerina Goseva-Popstojanova , Kishor S. Trivedi A Framework for Performability Modeling of Messaging Services in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Lei , Kuo-Chung Tai Efficient Reachability Testing of Asynchronous Message-Passing Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He Integrating CSP and DC. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu Capturing Complete and Accurate Requirements by Refinemen. [Citation Graph (0, 0)][DBLP ] Conf ] Milos Besta , Frank A. Stomp Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Pierfrancesco Bellini , Andrea Giotti , Paolo Nesi Execution of TILCO Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Vigna , Andrew Mitchel Mnemosyne: Designing and Implementing Network Short-Term Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Franck Barbier Composability for Software Components: An Approach Based on the Whole-Part Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Dae-Kyoo Kim , Robert B. France , Sudipto Ghosh , Eunjee Song Using Role-Based Modeling Language (RBML) to Characterize Model Families. [Citation Graph (0, 0)][DBLP ] Conf ] Geri Georg , Indrakshi Ray , Robert B. France Using Aspects to Design a Secure System. [Citation Graph (0, 0)][DBLP ] Conf ] Victor R. Basili , Mikael Lindvall , Forrest Shull A Light-Weight Process for Capturing and Evolving Defect Reduction Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Martena , Alessandro Orso , Mauro Pezzè Interclass Testing of Object Oriented Software. [Citation Graph (0, 0)][DBLP ] Conf ] Branson W. Murrill , Larry J. Morell , Erika Olimpiew A Perturbation-based Testing Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Ling Liu , Huaikou Miao , Xuede Zhan A Framework for Specification-Based Class Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Mark R. Blackburn , Robert Busser , Aaron Nauman , Robert Knickerbocker , Richard Kasuda Mars Polar Lander Fault Identification Using Model-based Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa K. Ferrett , Jeff Offutt An Empirical Comparison of Modularity of Procedural and Object-oriented Software. [Citation Graph (0, 0)][DBLP ] Conf ] Jane Huffman Hayes , Pifu Zhang Fault Detection Effectiveness of Spathic Test Data. [Citation Graph (0, 0)][DBLP ] Conf ] Roger T. Alexander , Jeff Offutt , James M. Bieman Syntactic Fault Patterns in OO Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Vieri Del Bianco , Luigi Lavazza , Marco Mauri Model Checking UML Specifications of Real Time Software. [Citation Graph (0, 0)][DBLP ] Conf ] Aldo Dagnino An Evolutionary Lifecycle Model with Agile Practices for Software Development at ABB. [Citation Graph (0, 0)][DBLP ] Conf ] Timo Aaltonen , Tommi Mikkonen Managing Software Evolution with a Formalized Abstraction Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Leesa Murray , Alena Griffiths , Paul A. Strooper OptoNet - A Case Study in Using Rigorous Analysis Techniques to Justify a Revised Product Assurance Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Gomaa , Michael E. Shin Multiple-View Meta-Modeling of Software Product Lines. [Citation Graph (0, 0)][DBLP ] Conf ] 