1057 search results - page 73 / 212 » Testing from Formal Specifications, a Generic Approach |
133
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
114
Voted
JSS
2002
15 years 3 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
145
click to vote
IFL
2005
Springer
15 years 9 months ago
2005
Springer
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...
164
click to vote
MEMOCODE
2008
IEEE
15 years 9 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
155
click to vote
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...