Volume 23; Issue 2

1

An applicable test data generation algorithm for domain errors

Year:
1998
Language:
english
File:
PDF, 955 KB
english, 1998
3

Automated program flaw finding using simulated annealing

Year:
1998
Language:
english
File:
PDF, 893 KB
english, 1998
6

On the limit of control flow analysis for regression test selection

Year:
1998
Language:
english
File:
PDF, 819 KB
english, 1998
7

All-du-path coverage for parallel programs

Year:
1998
Language:
english
File:
PDF, 1.02 MB
english, 1998
9

Computation of interprocedural control dependence

Year:
1998
Language:
english
File:
PDF, 1.06 MB
english, 1998
10

On random and partition testing

Year:
1998
Language:
english
File:
PDF, 709 KB
english, 1998
11

Automated regression test generation

Year:
1998
Language:
english
File:
PDF, 1.01 MB
english, 1998
12

Constructing compact models of concurrent Java programs

Year:
1998
Language:
english
File:
PDF, 1.01 MB
english, 1998
16

Model checking without a model

Year:
1998
Language:
english
File:
PDF, 1.10 MB
english, 1998
18

What can we learn by testing a program?

Year:
1998
Language:
english
File:
PDF, 296 KB
english, 1998