Sciweavers

741 search results - page 6 / 149
» Testing in the year 2020
Sort
View
132
Voted
FATES
2006
Springer
15 years 9 months ago
Hybrid Input-Output Conformance and Test Generation
Input-output conformance test theory for discrete systems has established itself in research and industry already. A couple of years ago also input-output conformance test theories...
Michiel van Osch
CC
2005
Springer
134views System Software» more  CC 2005»
15 years 11 months ago
Jazz: A Tool for Demand-Driven Structural Testing
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
Jonathan Misurda, James A. Clause, Juliya L. Reed,...
ERLANG
2008
ACM
15 years 7 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
124
Voted
AAAI
1994
15 years 6 months ago
CHATTERBOTS, TINYMUDS, and the Turing Test: Entering the Loebner Prize Competition
The Turing Test was proposed by Alan Turing in 1950; he called it the Imitation Game. In 1991 Hu Loebner prize competition, offering a f h Loebner started the 100,000 prize to the...
Michael L. Mauldin
128
Voted
VTS
2006
IEEE
108views Hardware» more  VTS 2006»
15 years 11 months ago
Bridging the Accuracy of Functional and Machine-Learning-Based Mixed-Signal Testing
Abstract— Numerous machine-learning-based test methodologies have been proposed in recent years as a fast alternative to the standard functional testing of mixed-signal/RF integr...
Haralampos-G. D. Stratigopoulos, Yiorgos Makris