Test sequence selection based on static data flow analysis
Computer Communications
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Method of constructing a test experiment for an arbitrary deterministic automation
Automatic Control and Computer Sciences
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Protocol validation tools as test case generators
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
Automatic generation of extended UIO sequences for communication protocols in an EFSM model
IWPTS '94 7th IFIP WG 6.1 international workshop on Protocol test systems
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
On fault coverage of tests for finite state specifications
Computer Networks and ISDN Systems - Special issue on protocol testing
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
An experiment in automatic generation of test suites for protocols with verification technology
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Testing deterministic implementations from nondeterministic FSM specifications
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Validation-based test sequence generation for networks of extended finite state machines
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
The General Product Machine: a New Model for Symbolic FSM Traversal
Formal Methods in System Design
Journal of the ACM (JACM)
Model checking
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
IEEE Transactions on Software Engineering
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Improvements on UIO Sequence Generation and Partial UIO Sequences
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Test Suite Generation from a FSM with a Given Type of Implementation Errors
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Eight Years of Experience in Test Generation from FDTs using TVEDA
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Confirming configurations in EFSM
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Test Case Generation for Protocols Specified in Estelle
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Test Generation by Exposing Control and Data Dependencies Within System Specifications in SDL
FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI
Reachability and Recurrence in Extended Finite State Machines: Modular Vector Addition Systems
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Test Generation for CEFSM Combining Specification and Fault Coverage
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
Techniques for abstracting SDL specifications
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Context independent unique sequences generation for protocol testing
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Dynamic analysis of java applications for multithreaded antipatterns
WODA '05 Proceedings of the third international workshop on Dynamic analysis
Case studies on fault detection effectiveness of model based test generation techniques
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
Optimizing the Length of Checking Sequences
IEEE Transactions on Computers
On Generating EFSM Models from Use Cases
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Automated Software Engineering
An automated model-based debugging approach
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Towards Deriving Test Sequences by Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic generation of software behavioral models
Proceedings of the 30th international conference on Software engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Fault masking by multiple timing faults in timed EFSM models
Computer Networks: The International Journal of Computer and Telecommunications Networking
Model transformations to satisfy all-configurations-transitions on statecharts
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Estimating the feasibility of transition paths in extended finite state machines
Automated Software Engineering
Model-based test selection for infinite-state reactive systems
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
A hybrid, stateful and cross-protocol intrusion detection system for converged applications
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part II
Testing from X-machine specifications
Formal methods and testing
Generating models of infinite-state communication protocols using regular inference with abstraction
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
Inferring compact models of communication protocol entities
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Modeling software requirement with timing diagram and Simulink Stateflow
Information and Software Technology
A preliminary general testing method based on genetic algorithms
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Information and Software Technology
A succinct canonical register automaton model
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Interoperability of constrained finite state automata
ACM SIGSOFT Software Engineering Notes
An expressive and implementable formal framework for testing real-time systems
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Learning and integration of parameterized components through testing
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Improving test coverage for UML state machines using transition instrumentation
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
A succinct canonical register automaton model for data domains with binary relations
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Computers in Biology and Medicine
ACM Computing Surveys (CSUR)
Using transition systems to model and verify the implementation of security protocol
Proceedings of the 6th International Conference on Security of Information and Networks
A formal approach for run-time verification of web applications using scope-extended LTL
Information and Software Technology
Compositional approach to the development of reactive algorithms
Cybernetics and Systems Analysis
| Hi-index | 0.01 |
Abstract--In this paper, we investigate the problem of configuration verification for the extended FSM (EFSM) model. This is an extension of the FSM state identification problem. Specifically, given a configuration (驴state vector驴) and an arbitrary set of configurations, determine an input sequence such that the EFSM in the given configuration produces an output sequence different from that of the configurations in the given set or at least in a maximal proper subset. Such a sequence can be used in a test case to confirm the destination configuration of a particular EFSM transition. We demonstrate that this problem could be reduced to the EFSM traversal problem, so that the existing methods and tools developed in the context of model checking become applicable. We introduce notions of EFSM projections and products and, based on these notions, we develop a theoretical framework for determining configuration-confirming sequences. The proposed approach is illustrated on a realistic example.