669 search results - page 42 / 134 » Haskell program coverage |
112
click to vote
CASCON
1996
15 years 3 months ago
1996
The estimation of reliability of modules using code coverage is motivated by a two-phase method for estimating the quality of software using static structure and predicted quality...
112
Voted
AMAST
2006
Springer
15 years 5 months ago
2006
Springer
This article demonstrates how a powerful and expressive ion from concurrency theory--monads of resumptions--plays a dual r^ole as a programming tool for concurrent applications. Th...
124
Voted
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
106
click to vote
CEC
2009
IEEE
15 years 8 months ago
2009
IEEE
— It is advantageous for colony robots to be autonomous and self-sufficient. This requires them to perform their duties while maintaining enough energy to operate. Previously, we...