2419 search results - page 194 / 484 » A Formal Approach to Software Testing |
133
click to vote
IEE
2010
15 years 2 months ago
2010
Popular code coverage measures, such as branch coverage, are indicators of the thoroughness rather than the fault detection capability of test suites. Mutation testing is a fault-...
151
Voted
IFM
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
112
click to vote
SEKE
2007
Springer
15 years 9 months ago
2007
Springer
— We present a statistical approach for software agents to learn ontology concepts from peer agents by asking them whether they can reach consensus on significant differences bet...
132
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
148
click to vote
TSE
2010
15 years 2 months ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...