3547 search results - page 338 / 710 » Pseudo-Exhaustive Testing for Software |
223
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
292
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—Changing source code in large software systems is complex and requires a good understanding of dependencies between software components. Modification to components with little ...
150
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that th...
186
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Since pre-silicon functional verification is insufficient to detect all design errors, re-spins are often needed due to malfunctions that escape into the silicon. This paper pre...
171
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...