Sciweavers

2686 search results - page 154 / 538
» Using a neural network in the software testing process
Sort
View
ERLANG
2008
ACM
13 years 11 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
KBSE
1998
IEEE
14 years 1 months ago
An Automated Framework for Structural Test-Data Generation
Structural testing criteria are mandated in many software development standards and guidelines. The process of generating test-data to achieve 100 coverage of a given structural c...
Nigel Tracey, John A. Clark, Keith Mander, John A....
BC
1998
84views more  BC 1998»
13 years 8 months ago
Stimulus-induced bifurcations in discrete-time neural oscillators
Abstract. Based on theoretical issues and neurobiological evidence, considerable interest has recently focused on dynamic computational elements in neural systems. Such elements re...
Ali A. Minai, Tirunelveli Anand
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
14 years 1 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
ASPDAC
2000
ACM
104views Hardware» more  ASPDAC 2000»
14 years 1 months ago
Design of digital neural cell scheduler for intelligent IB-ATM switch
— We present the architecture of the ATM banyan switch composed of pattern process and high-speed digital neural cell scheduler. An input buffer type ATM switch with a window-bas...
J.-K. Lee, Seung-Min Lee, Mike Myung-Ok Lee, D.-W....