Behavior computation for smart grid software analysis

A practical introduction to denotational semantics

A practical introduction to denotational semantics

Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process

Symbolic execution and program testing

Communications of the ACM

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Structured Programming; Theory and Practice the Systems Programming Series

Structured Programming; Theory and Practice the Systems Programming Series

The impacts of function extraction technology on program comprehension: A controlled experiment

Information and Software Technology

FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification

HICSS '09 Proceedings of the 42nd Hawaii International Conference on System Sciences

Automated Behavior Computation for Software Analysis and Validation

HICSS '12 Proceedings of the 2012 45th Hawaii International Conference on System Sciences