Input Sequence Generation for Testing of Communicating Finite State Machines (CFSMs)

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Annual Conference on Genetic and Evolutionary Computation

• Publication date

  2004-06-26

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-24855-2_164
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Computer networks

  2018cited by this paper
• Generating feasible input sequences for extended finite state machines (EFSMs) using genetic algorithms

  2005cited by this paper
• Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

  2005cited by this paper
• Computing Unique Input/Output Sequences Using Genetic Algorithms

  2003cited by this paper
• Checking states and transitions of a set of communicating finite state machines

  2001cited by this paper
• Computer networks (3rd ed.)

  1996cited by this paper
• Testing strategies for communicating FSMs

  1995cited by this paper
• Software testing techniques (2. ed.)

  1990cited by this paper
• Genetic Algorithms in Search Optimization and Machine Learning

  1988cited by this paper

• Automated test generation technique for aspectual features in AspectJ

  2015cites this paper
• Security testing of an aerospace launch system

  2015cites this paper
• Testing of safety-critical systems: An aerospace launch application

  2014cites this paper
• Fail-Safe Testing of Safety-Critical Systems

  2014cites this paper
• Fail-Safe Test Generation in Safety Critical Systems

  2014influential citation
• Using genetic algorithms to generate test sequences for complex timed systems

  2012cites this paper
• Empirical evaluation of the fault detection effectiveness and test effort efficiency of the automated AOP testing approaches

  2011cites this paper
• Optimizing for the Number of Tests Generated in Search Based Test Data Generation with an Application to the Oracle Cost Problem

  2010cites this paper
• Estimating the feasibility of transition paths in extended finite state machines

  2010cites this paper
• A systematic review of search-based testing for non-functional system properties

  2009cites this paper
• Search-based approaches to software fault prediction and software testing

  2009cites this paper
• Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms

  2009cites this paper
• Reducing Oracle Cost in Search Based Test Data Generation

  2009cites this paper
• Search Based Software Engineering: A Comprehensive Analysis and Review of Trends Techniques and Applications

  2009cites this paper
• Checking sequences for distributed test architectures

  2008cites this paper
• Number : INFSOF-D-08-00079 Title : A Systematic Review of Non-Functional Search-Based Software Testing Article Type : Systematic review Section / Category : Keywords : Corresponding

  2008cites this paper
• A Systematic Mapping Study on Non-Functional Search-based Software Testing

  2008cites this paper
• Automated test sequence generation for finite state machines using genetic algorithms

  2006cites this paper
• Improving fault coverage and minimising the cost of fault identification when testing from finite state machines

  2006cites this paper