Feature interaction detection using a synchronous approach and testing

No abstract is available for this paper.

• Publication year

  2000

• Venue

  Comput. Networks

• Publication date

  2000-04-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/S1389-1286(00)00008-6
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Feature interaction detection contest of the Fifth International Workshop on Feature Interactions

  2000cited by this paper
• Lutess: a specification-driven testing environment for synchronous software

  1999cited by this paper
• Feature Interaction Detection Using Testing and Model-Checking Experience Report

  1999cited by this paper
• Expressing and implementing operational profiles for reactive software validation

  1998cited by this paper
• Evaluation of a State-Based Model of Feature Interactions

  1997cited by this paper
• Speciication-based Testing of Reactive Software: Tools and Experiments

  1997cited by this paper
• Observers in the SCE and the SEE to Detect and Resolve Services Interactions

  1997cited by this paper
• Structural Models for Specifying Telephone Systems

  1997cited by this paper
• Specification-based testing of reactive software: tools and experiments

  1997cited by this paper
• A Formal Framework for Feature Interaction with Emphasis on Testing

  1995cited by this paper
• Automatic Detection of Feature Interactions in Temporal Logic

  1995cited by this paper
• Towards a More Efficient Feature Interaction Analysis - A Statistical Approach

  1995cited by this paper
• Testing synchronous critical software

  1994cited by this paper
• A Building Block Approach to Detecting and Resolving Feature Interactions

  1994cited by this paper
• Formalisation of a user view of network and services for feature interaction detection

  1994cited by this paper
• Operational profiles in software-reliability engineering

  1993cited by this paper
• Markov Chain Techniques for Software Testing and Reliability Analysis, PhD Dissertation

  1992cited by this paper
• The synchronous approach to reactive and real-time systems

  1991cited by this paper
• From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time

  1988cited by this paper
• LUSTRE: A declarative language for programming synchronous systems*

  1987cited by this paper
• LUSTRE: a declarative language for real-time programming

  1987cited by this paper

• Detection and Resolution of Feature Interactions, the Early Light Way

  2016cites this paper
• A Lightweight Approach to the Early Detection and Resolution of Feature Interactions

  2015cites this paper
• Designing for extensibility and planning for conflict: experiments in web-browser design

  2011cites this paper
• Contributions à l'automatisation raisonnée de différents processus du test logiciel. (Contributions to reasoned automation of various processes of software testing)

  2010cites this paper
• Test Case Selector: Uma Ferramenta para Seleção de Testes

  2010cites this paper
• Service specification and validation in the context of the home

  2009cites this paper
• The International Journal On Advances in Systems and Measurements is Published by IARIA

  2009cites this paper
• Conflicts of Interest: Approaches to Extensible System Design

  2009cites this paper
• Generating interaction test cases for mobile phone systems from use case specifications

  2006cites this paper
• Feature Specification and Static Analysis for Interaction Resolution

  2006cites this paper
• WILEY SERIES IN COMMUNICATIONS NETWORKING & DISTRIBUTED SYSTEMS

  2005cites this paper
• A temporal logic for input output symbolic transition systems

  2005cites this paper
• Testing Against Some Eventuality Properties of Synchronous Software: A Case Study

  2004cites this paper
• An incremental method for the design of feature-oriented systems

  2000cites this paper
• Automatic test generation from behavioral patterns

  2000influential citation
• Modular Feature Integration and Validation in a Synchronous Context

  2000cites this paper
• Test de spécifications de services de télécommunication

  2000cites this paper
• Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. (Statistical functional testing of systems specified in Lustre; application to the validation of telecommunication features)

  1999cites this paper
• An overview of Lutess a specification-based tool for testing synchronous software

  1999cites this paper