Journal: IEEE Trans. Software Eng.

Volume 30, Issue 11

715 -- 735David W. Binkley, Mark Harman. Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables
736 -- 753Issa Traoré, Demissie B. Aredo. Enhancing Structured Review with Model-Based Verification
754 -- 769Jeff Tian, Sunita Rudraraju, Zhao Li. Evaluating Web Software Reliability Based on Workload and Failure Data Extracted from Server Logs
770 -- 793Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche. Assessing and Improving State-Based Class Testing: A Series of Experiments
794 -- 810Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth. Contract-Checking Wrappers for C++ Classes
811 -- 825James Miller, Zhichao Yin. A Cognitive-Based Mechanism for Constructing Software Inspection Teams
826 -- 832Heung Seok Chae, Yong Rae Kwon, Doo-Hwan Bae. Improving Cohesion Metrics for Classes by Considering Dependent Instance Variables