A Test Design Methodology for Protocol Testing
IEEE Transactions on Software Engineering
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure
Computer Networks and ISDN Systems
New advances in ferry testing approaches
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Conformance testing: architectures and test sequences
Computer Networks and ISDN Systems
Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Some Experience with Test Sequence Generation for Protocols
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
A Test Derivation Method for Protocol Conformance Testing
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII
The CO-OP Method for Compositional Derivation of Conformance Testers
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Protocol Conformance Testing Using Multiple UIO Sequences
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
TENT: Test Sequence Generation Tool for Communication Systems
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
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
State-space analysis as an aid to testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A reduced test suite for protocol conformance testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Distinguishing tests for nondeterministic and probabilistic machines
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
A specification-based adaptive test case generation strategy for open operating system standards
Proceedings of the 18th international conference on Software engineering
Target-sensitive construction of diagnostic programs for procedure calling sequence generators
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Requirements-driven software test: a process-oriented approach
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
In black and white: an integrated approach to class-level testing of object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
Improving Design Dependability by Exploiting an Open Model-Based Specification
IEEE Transactions on Computers
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
An explorative journey from architectural tests definition down to code tests execution
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Software requirements validation via task analysis
Journal of Systems and Software
AI Planner Assisted Test Generation
Software Quality Control
IEEE Transactions on Software Engineering
Software Testing Based on SDL Specifications with Save
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
A survey of communication protocol testing
Journal of Systems and Software
Model Generation by Moderated Regular Extrapolation
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Conformance Testing Techniques for Timed Systems
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Improving design dependability based on the TRON loose standardization approach
TRON '95 Proceedings of the The 12th TRON Project International Symposium, 1995
Diagnostic Tests for Communicating Nondeterministic Finite State Machines
ISCC '00 Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000)
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
Automatic Detection and Diagnosis of Faults in Generated Code for Procedure Calls
IEEE Transactions on Software Engineering
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Using Software Architecture for Code Testing
IEEE Transactions on Software Engineering
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Testing Object Oriented Software
Proceedings of the 26th International Conference on Software Engineering
Using a minimal number of resets when testing from a finite state machine
Information Processing Letters
Mutation-Based Testing Criteria for Timeliness
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Testing from Partial Deterministic FSM Specifications
IEEE Transactions on Computers
LearnLib: a library for automata learning and experimentation
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
EXPERIMENTAL EVALUATION OF FSM-BASED TESTING METHODS
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Separating sequence overlap for automated test sequence generation
Automated Software Engineering
A component-based specification approach for embedded systems using FDTs
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Inferring state-based behavior models
Proceedings of the 2006 international workshop on Dynamic systems analysis
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
Testing against a non-controllable stream X-machine using state counting
Theoretical Computer Science
Proceedings of the 8th annual conference on Genetic and evolutionary computation
Refinement in Finite State Machine Testing
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Ant colony optimisation for generation of conformance testing sequences using a characterising set
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Formal testing from timed finite state machines
Computer Networks: The International Journal of Computer and Telecommunications Networking
Towards Deriving Test Sequences by Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Software testing: a graph theoretic approach
International Journal of Information and Communication Technology
Using adaptive distinguishing sequences in checking sequence constructions
Proceedings of the 2008 ACM symposium on Applied computing
Midpoints Versus Endpoints: From Protocols to Firewalls
ACNS '07 Proceedings of the 5th international conference on Applied Cryptography and Network Security
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Building test cases and oracles to automate the testing of web database applications
Information and Software Technology
Conformance Testing Based on UML State Machines
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Validation of SDL specifications using EFSM-based test generation
Information and Software Technology
Mutation testing from probabilistic and stochastic finite state machines
Journal of Systems and Software
Scalability issues with using FSMWeb to test web applications
Information and Software Technology
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Testing Timed Finite State Machines with Guaranteed Fault Coverage
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Generating Reduced Tests for FSMs with Extra States
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
A Formal Approach for Analysis and Testing of Reliable Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Heuristics for Faster Error Detection With Automated Black Box Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Bounded sequence testing from deterministic finite state machines
Theoretical Computer Science
Where do unit tests come from?
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Dynamic testing via automata learning
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Applying Weighted Finite State Machines to Protocol Performance Analysis
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Coverage criteria for state based specifications
Formal methods and testing
Testing from X-machine specifications
Formal methods and testing
Generating a checking sequence with a minimum number of reset transitions
Automated Software Engineering
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
A pragmatic testing approach for wireless sensor networks
Proceedings of the 6th ACM workshop on QoS and security for wireless and mobile networks
Fault coverage of Constrained Random Test Selection for access control: A formal analysis
Journal of Systems and Software
From ZULU to RERS: lessons learned in the ZULU challenge
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Generation of improved test cases from UML state diagram using genetic algorithm
Proceedings of the 4th India Software Engineering Conference
State complexity research and approximation
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Bounded sequence testing from non-deterministic finite state machines
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
A model-to-implementation mapping tool for automated model-based GUI testing
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An approach to integration testing based on data flow specifications
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Generating test cases for constraint automata by genetic symbiosis algorithm
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
On the correspondence between conformance testing and regular inference
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Testing mobile and distributed systems: method and experimentation
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Integrated tool for testing timed systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
Conformance testing of real-time component based systems
ISSADS'05 Proceedings of the 5th international conference on Advanced Distributed Systems
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
An improved conformance testing method
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
A new formal test method for networked software integration testing
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II
A study on the extended unique input/output sequence
Information Sciences: an International Journal
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
A comparison of distributed test generation techniques
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Research: Improving the UIOv-method for protocol conformance testing
Computer Communications
Research: Construction of checking sequences based on characterization sets
Computer Communications
On testing and diagnosis of communication protocols based on the FSM model
Computer Communications
Minimizing the cost of fault location when testing from a finite state machine
Computer Communications
On reducing test length for FSMs with extra states
Software Testing, Verification & Reliability
Validation of SDL-based architectural design models using communication-based coverage criteria
Information and Software Technology
Refinement in Finite State Machine Testing
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
A bounded incremental test generation algorithm for finite state machines
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
A test purpose-based approach for testing timed input output automata
Software Testing, Verification & Reliability
Optimal Test Sequence Generation in State Based Testing Using Cuckoo Search
International Journal of Applied Evolutionary Computation
A practical approach for testing timed deterministic finite state machines with single clock
Science of Computer Programming
Hi-index | 0.01 |
A method for the selection of appropriate test case, an important issue for conformance testing of protocol implementations as well as software engineering, is presented. Called the partial W-method, it is shown to have general applicability, full fault-detection power, and yields shorter test suites than the W-method. Various other issues that have an impact on the selection of a suitable test suite including the consideration of interaction parameters, various test architectures for protocol testing and the fact that many specifications do not satisfy the assumptions made by most test selection methods (such as complete definition, a correctly implemented reset function, a limited number of states in the implementation, and determinism), are discussed.