Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
A calculus for the random generation of labelled combinatorial structures
Theoretical Computer Science
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
CLPS–B – A constraint solver to animate a B specification
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
DART: directed automated random testing
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Parallel Randomized State-Space Search
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Feedback-Directed Random Test Generation
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Enumeration and random generation of accessible automata
Theoretical Computer Science
Effective random testing of concurrent programs
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Random testing and model checking: building a common framework for nondeterministic exploration
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)
Coverage-biased Random Exploration of Models
Electronic Notes in Theoretical Computer Science (ENTCS)
REGAL: a library to randomly and exhaustively generate automata
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Jartege: a tool for random generation of unit tests for java classes
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Testing concurrent object-oriented systems with spec explorer
FM'05 Proceedings of the 2005 international conference on Formal Methods
A random testing approach using pushdown automata
TAP'11 Proceedings of the 5th international conference on Tests and proofs
| Hi-index | 0.00 |
Developing efficient and automatic testing techniques is one of the major challenges facing software validation community. In this paper, we show how a uniform random generation process of finite automata, developed in a recent work by Bassino and Nicaud, is relevant for many faces of automatic testing. The main contribution is to show how to combine two major testing approaches: model-based testing and random testing. This leads to a new testing technique successfully experimented on a realistic case study. We also illustrate how the power of random testing, applied on a Chinese Postman Problem implementation, points out an error in a well-known algorithm. Finally, we provide some statistics on model-based testing algorithms.