669 search results - page 48 / 134 » Haskell program coverage |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
TAP
2010
Springer
14 years 1 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Event-driven software (EDS) is a widely used class of software that takes sequences of events as input, changes state, and outputs new event sequences. Managing the size of tests ...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
SIGSOFT
2004
ACM
14 years 2 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...