A standard representation of imperative language programs for data collection and software measures specification

Authors:
James M. Bieman;Albert L. Baker;Paul N. Clites;David A. Gustafson;Austin C. Melton
Affiliations:
Iowa State Univ., Ames;Iowa State Univ., Ames;Iowa State Univ., Ames;Kasas State Univ., Manhattan;Kansas State Univ., Manhattan
Venue:
Journal of Systems and Software - Software Engineering
Year:
1988

Estimating the number of test cases required to satisfy the all-du-paths testing criterion

TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
System acquisition based on software product assessment

Proceedings of the 18th international conference on Software engineering
Measuring Functional Cohesion

IEEE Transactions on Software Engineering
An Operational Process for Goal-Driven Definition of Measures

IEEE Transactions on Software Engineering
Test Criteria Definition for B Models

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Hi-index	0.01