5855 search results - page 72 / 1171 » Test generation and minimization with |
141
click to vote
PTS
2008
15 years 2 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
114
click to vote
ATS
2009
IEEE
15 years 6 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
119
click to vote
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
136
click to vote
IOLTS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes a new test pattern generator (TPG) which is an enhancement of GLFSR (Galois LFSR). This design is based on certain non–binary error detecting codes, formulat...
130
click to vote
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
15 years 1 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...