108
click to vote
ISSTA
15 years 6 months ago
1989 ACM 
The all-du-paths software testing criterion is the most discriminating of the data ow testing criteria of Rapps and Weyuker. Unfortunately, in the worst case, the criterion requir...
122
click to vote
MITJSME
15 years 6 months ago
1989
We describe how aircraft are designed in a large organization. We discuss the different phases of design and interaction with the customer. We then describe the models used by each...
128
click to vote
ICSE
15 years 6 months ago
1989 IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
113
click to vote
ISSTA
15 years 6 months ago
1989 ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
118
click to vote
AII
15 years 6 months ago
1989 
This paper surveys recent results concerning the inference of deterministic finite automata (DFAs). The results discussed determine the extent to which DFAs can be feasibly inferr...
|
Software Engineering