3547 search results - page 304 / 710 » Pseudo-Exhaustive Testing for Software |
163
click to vote
PTS
2010
15 years 5 months ago
2010
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
161
click to vote
TRIDENTCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper presents an experimental framework for implementation of an IMS/NGN reference service scenario by means of open source software. Multiple service enablers are deployed t...
161
click to vote
JLP
2010
15 years 2 months ago
2010
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
185
Voted
SIGKDD
2010
15 years 2 months ago
2010
Controlled experiments, also called randomized experiments and A/B tests, have had a profound influence on multiple fields, including medicine, agriculture, manufacturing, and adv...
190
Voted
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
During software development it is helpful to obtain early estimates of the defect density of software components. Such estimates identify fault-prone areas of code requiring furth...