Automated test scenarios generation for an e-barter system
Proceedings of the 2004 ACM symposium on Applied computing
A Validation Model for the DSR Protocol
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
A passive testing approach based on invariants: application to the WAP
Computer Networks and ISDN Systems
Uniform random sampling of traces in very large models
Proceedings of the 1st international workshop on Random testing
Testing methodology for an ad hoc routing protocol
Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks
A formal approach for testing security rules
Proceedings of the 12th ACM symposium on Access control models and technologies
A formal validation methodology for MANET routing protocols based on nodes' self similarity
Computer Communications
Testing mobile computing applications: toward a scenario language and tools
WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Specification of Timed EFSM Fault Models in SDL
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
Modeling, Validation, and Verification of PCEP Using the IF Language
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
A passive testing approach based on invariants: application to the WAP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Information and Software Technology
Application of two test generation tools to an industrial case study
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Testing communicating systems: a model, a methodology, and a tool
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Applying formal methods to PCEP: an industrial case study from modeling to test generation
Software Testing, Verification & Reliability
Nodes self-similarity to test wireless ad hoc routing protocols
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
| Hi-index | 0.00 |