A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Design and validation of computer protocols
Design and validation of computer protocols
Tool support to implement LOTOS formal specifications
Computer Networks and ISDN Systems - Special issue on tools for FDTs
Failure-based congruences, unfair divergences and new testing theory
PSTV '94 Proceedings of the fourteenth of a series of annual meetings on Protocol specification, testing and verification XIV
Conformance testing with labelled transition systems: implementation relations and test generation
Computer Networks and ISDN Systems - Special issue on protocol testing
Formal methods in conformance testing: a probabilistic refinement
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
Communication and Concurrency
Art of Software Testing
Cellular Network for Real-Time Mobile Auction
Wireless Personal Communications: An International Journal
Quantifying Software Validation: When to Stop Testing?
IEEE Software
A Framework for Test Selection
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
A Test Derivation Method Based on Exploiting Structure Information
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
A Metric Based Theory of Test Selection and Coverage
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Algebraic Specification through Expression Transformation
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)
Proceedings of the First International Conference on Formal Description Techniques
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion
Proceedings of the First International Conference on Formal Description Techniques
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Specification and Derivation of OSI Conformance Test Suites
Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems V
Test Derivation from LOTOS Using Structure Information
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Evaluation of Test Coverage for Embedded System Testing
IWTCS Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems
Design for Testability A Survey
IEEE Transactions on Computers
Wireless protocol testing and validation supported by formal methods: a hands-on report
Journal of Systems and Software - Special issue: Software engineering education and training
Automated test scenario selection based on levenshtein distance
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Hi-index | 0.00 |
We propose an approach to testing that combines formal methods with practical criteria, close to the testing engineer's experience. It can be seen as a framework to evaluate and select test suites using formal methods, assisted by informal heuristics. This proposal is illustrated with a practical case study: the testing of a protocol for mobile auctions in a distributed, wireless environment.