3547 search results - page 71 / 710 » Pseudo-Exhaustive Testing for Software |
162
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
156
click to vote
ICARIS
2007
Springer
16 years 13 days ago
2007
Springer
We present an Immune Inspired Algorithm, based on CLONALG, for software test data evolution. Generated tests are evaluated using the mutation testing adequacy criteria, and used to...
180
click to vote
EUROSPI
2007
Springer
16 years 14 days ago
2007
Springer
Test-driven development (TDD) is entering the mainstream of software development. We examined the software development process for the purpose of evaluation of the TDD impact, with...
156
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
183
click to vote
ET
2002
15 years 6 months ago
2002
The combination of higher quality requirements and sensitivity of high performance circuits to delay defects has led to an increasing emphasis on delay testing of VLSI circuits. A...