4167 search results - page 74 / 834 » Evolutionary functional testing |
120
Voted
SPLC
2008
15 years 4 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
146
Voted
ICSE
2009
IEEE-ACM
15 years 16 days ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
143
Voted
ECCC
2010
15 years 1 months ago
2010
We study the problem of testing isomorphism (equivalence up to relabelling of the variables) of two Boolean functions f, g : {0, 1}n → {0, 1}. Our main focus is on the most stud...
141
Voted
AGILEDC
2006
IEEE
15 years 9 months ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
109
Voted
TAP
2008
Springer
15 years 2 months ago
2008
Springer
This article presents the generation and test case execution under the framework Focal. In the programming language Focal, all properties of the program are written within the sour...