2774 search results - page 71 / 555 » Query-Driven Program Testing |
JUCS
2010
14 years 11 months ago
2010
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
82
Voted
ICSE
2005
IEEE-ACM
16 years 21 days ago
2005
IEEE-ACM
Producing reliable and robust software has become one of the most important software development concerns in recent years. Testing is a process by which software quality can be as...
125
Voted
AADEBUG
2005
Springer
15 years 2 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
ENTCS
2006
15 years 18 days ago
2006
A Random test generator generates executable tests together with their expected results. In the form of a noise-maker, it seeds the program with conditional scheduling primitives ...
101
click to vote
ERLANG
2008
ACM
15 years 2 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...