1722 search results - page 60 / 345 » Generating Tests from Counterexamples |
JSW
2007
14 years 9 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
ACL
2003
14 years 11 months ago
2003
An investment of effort over the last two years has begun to produce a wealth of data concerning computational psycholinguistic models of syntax acquisition. The data is generated...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
: We present a new, dynamic algorithm for test sequence compaction and test cycle reduction for combinationaland sequential circuits. Several dynamic algorithms for compaction in c...
101
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—Recent advances in automated functional testing of Graphical User Interfaces (GUIs) rely on deriving graph models that approximate all possible sequences of events that may be e...
MJ
2010
14 years 4 months ago
2010
A new electromagnetic energy harvester for harnessing energy from flow induced vibration is developed. It converts flow energy into electrical energy by fluid flow and electromagn...