Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
STATEMATE applied to statistical software testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A calculus for the random generation of labelled combinatorial structures
Theoretical Computer Science
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
A CLP Framework for Computing Structural Test Data
CL '00 Proceedings of the First International Conference on Computational Logic
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Automatic generation of random self-checking test cases
IBM Systems Journal
On-the-Fly Generation of K-Path Tests for C Functions
Proceedings of the 19th IEEE international conference on Automated software engineering
Usage-based statistical testing of web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Uniform random sampling of traces in very large models
Proceedings of the 1st international workshop on Random testing
Uniform random walks in very large models
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Random testing: from the classical approach to a global view and full test automation
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007)
Coverage-biased Random Exploration of Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Test Selection Strategies for Lustre Descriptions in GATeL
Electronic Notes in Theoretical Computer Science (ENTCS)
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Using CHRs to generate functional test cases for the java card virtual machine
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
PathCrawler: automatic generation of path tests by combining static and dynamic analysis
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |
We propose a new way of automating statistical structuraltesting, based on the combination of uniform generationof combinatorial structures, and of randomized constraintsolving techniques. More precisely, we show howto draw test cases which balance the coverage of programstructures according to structural testing criteria. The controlflow graph is formalized as a combinatorial structurespecification. This provides a way of uniformly drawing executionpaths which have suitable properties. Once a pathhas been drawn, the predicate characterizing those inputswhich lead to its execution is solved using a constraint solvinglibrary. The constraint solver is enriched with powerfulheuristics in order to deal with resolution failures and randomchoice strategies.