180
Voted
ISSTA
16 years 2 days 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...
230
click to vote
MITJSME
16 years 2 days 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...
211
click to vote
ICSE
16 years 2 days 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...
191
Voted
ISSTA
16 years 2 days 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 ‘‘...
206
click to vote
AII
16 years 2 days 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