3547 search results - page 135 / 710 » Pseudo-Exhaustive Testing for Software |
182
click to vote
QSIC
2003
IEEE
16 years 8 days ago
2003
IEEE
The use of components in development of complex software systems can surely have various benefits. Their testing, however, is still one of the open issues in software engineering...
297
Voted
REFSQ
2010
Springer
2010
Springer
Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context
15 years 4 months ago
[Context and motivation] When developing software, coordination between different organizational units is essential in order to develop a good quality product, on time and within b...
198
Voted
ESE
2008
15 years 7 months ago
2008
Test-driven development (TDD) is a software development practice that has been used sporadically for decades. With this practice, a software engineer cycles minute-by-minute betwee...
197
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
249
click to vote
AOSD
2011
ACM
15 years 2 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...