Sciweavers

1399 search results - page 135 / 280
» Verification of Test Suites
Sort
View
NIME
2004
Springer
79views Music» more  NIME 2004»
16 years 9 days ago
A Survey of Real-Time MIDI Performance
Although MIDI is often used for computer-based interactive music applications, its real-time performance is rarely quantified, despite concerns about whether it is capable of ade...
Mark J. Nelson, Belinda Thom
ICCAD
1996
IEEE
144views Hardware» more  ICCAD 1996»
15 years 11 months ago
Validation coverage analysis for complex digital designs
The functional validation of a state-of-the-art digital design is usually performed by simulation of a register-transfer-level model. The degree to which the testvector suite cove...
Richard C. Ho, Mark Horowitz
152
Voted
DC
2001
15 years 8 months ago
Qualified Dublin Core using RDF for Sci-Tech Journal Articles
As a participant in the D-Lib Test Suite project, the University of Illinois maintains a full-text XML testbed containing over 65,000 scientific and technical journal articles. Fo...
Thomas G. Habing, Timothy W. Cole, William H. Misc...
EMSOFT
2008
Springer
15 years 8 months ago
Randomized directed testing (REDIRECT) for Simulink/Stateflow models
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...
Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
KDD
2003
ACM
205views Data Mining» more  KDD 2003»
16 years 7 months ago
The data mining approach to automated software testing
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
Mark Last, Menahem Friedman, Abraham Kandel