Verification of complex systems using incremental operational specifications

Avrunin, 1986, Constrained Expressions: Adding Analysis Capabilities to Design Methods for Concurrent Software Systems, IEEE Transactions on software Reliability, SE-12 Clarke, 1986, Automatic verification of finite-state concurrent systems, using temporal logic specifications, ACM Transactions on Programming Languages and Systems, 10.1145/5397.5399 1987 Hoffman, 1988, Trace specifications: Methodology and Models, IEEE Transactions on Software Engineering, SE-14 Howden, 1983, A General Model for Static Analysis Howden, 1986, A Functional Approach to Program Testing and Analysis, IEEE Transactions on Software Engineering, SE-12, 10.1109/TSE.1986.6313016 Howden, 1986 Howden, 1989, Error-based software validation Howden, 1989, Completeness of program tests Howden, 1989, Validating Programs without Specifications Howden, 1990, Comments Analysis and Programming Errors, IEEE Transactions on Software Engineering, 10.1109/32.44365 Howden, 1990 Howden, 1989 Long, 1989, Task interaction graphs for concurrency analysis K. M. Olender and L. J. Osterweil, Cecil: A sequencing constraint language for automatic static analysis generation, IEEE Transactions on software Engineering, (to appear). Parnas, 1989 Taylor, 1980, Anomaly detection of concurrent software by static data flow analysis, IEEE Transactions on Software Engineering, SE-6, 10.1109/TSE.1980.234488 Taylor, 1984, Analysis and testing based on sequencing specifications Werner, 1988, Fault Detection in Production Programs by Means of Data Usage Analysis Werner, 1990, An Investigation of the Applicability of Data Usage Analysis, Journal of Systems and Software Young, 1989, Integrated concurrency analysis in a software development environment