Sciweavers

693 search results - page 15 / 139
» Test of Future System-on-Chips
Sort
View
POPL
2006
ACM
15 years 10 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
ECOOP
2006
Springer
15 years 1 months ago
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
Tao Xie
IADIS
2003
14 years 11 months ago
The Relationship between E-Marketing Strategy and E-Performance: A Conceptual Framework
This paper proposes a conceptual framework that relates e-marketing strategy (Web-Design, Web-Promotion, Web-Price and Web-CRM) with performance at web and firm levels, while cons...
Paulo Rita, Luis Filipe Lages, Carmen Lages
ICSE
2000
IEEE-ACM
15 years 1 months ago
Testing: a roadmap
Testing is an important process that is performed to support quality assurance. Testing activities support quality assurance by gathering information about the nature of the softw...
Mary Jean Harrold
EURODAC
1995
IEEE
164views VHDL» more  EURODAC 1995»
15 years 1 months ago
Bottleneck removal algorithm for dynamic compaction and test cycles reduction
: 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...
Srimat T. Chakradhar, Anand Raghunathan