RON S. KENETT is Chairman of KPA Ltd and Senior Research Fellow at the Samuel Neaman Institute, Technion, Israel. FABRIZIO RUGGERI is Research Director at CNR-IMATI, Milano, Italy. FREDERICK W. FALTIN is Co-Founder of The Faltin Group, Cody, WY, and Associate Professor of Practice, Department of Statistics, Virginia Tech, Blacksburg, VA, USA.

Select Guide Rating

• List of Contributors ixPreface xvPart I Testing Concepts andMethods 11 Recent Advances in Classifying Risk-Based Testing Approaches 3Michael Felderer, Jürgen Großmann, and Ina Schieferdecker2 Improving Software Testing with Causal Modeling 27Norman Fenton andMartin Neil3 Optimal Software Testing across Version Releases 65Simon P.Wilson and Seán Ó Ríordáin4 Incremental Verification and Coverage Analysis of Strongly Distributed Systems 81Elena V. Ravve and Zeev Volkovich5 Combinatorial Testing: An Approach to Systems and Software Testing Based on Covering Arrays 131Joseph Morgan6 Conceptual Aspects in Development and Teaching of Systemand Software Test Engineering 159Dani Almog, Ron S. Kenett, Uri Shafrir, and Hadas ChasidimPart II Statistical Models 1957 Non-homogeneous Poisson Process Models for Software Reliability 197Steven E. Rigdon8 Bayesian Graphical Models for High-Complexity Testing: Aspects of Implementation 213DavidWooff,Michael Goldstein, and Frank Coolen9 Models of Software Reliability 245Shelemyahu Zacks10 Improved Estimation of SystemReliability with Application in Software Development 255Beidi Qiang and Edsel A. Peña11 Decision Models for Software Testing 277Fabrizio Ruggeri and Refik Soyer12 Modeling and Simulations in Control Software Design 287Jiri Koziorek, Stepan Ozana, Vilem Srovnal, and Tomas DocekalPart III Testing Infrastructures 32713 A Temperature Monitoring Infrastructure and Process for Improving Data Center Energy Efficiency with Results for a High Performance Computing Data Center 329Sarah E.Michalak, AmandaM. Bonnie, Andrew J. Montoya, Curtis B. Storlie,William N. Rust, Lawrence O. Ticknor, Laura A. Davey, Thomas E.Moxley III, and Brian J. Reich14 Agile Testing with User Data in Cloud and Edge Computing Environments 353Ron S. Kenett, Avi Harel, and Fabrizio Ruggeri15 Automated Software Testing 373Xiaoxu Diao,Manuel Rodriguez, Boyuan Li, and Carol Smidts16 Dynamic Test Case Selection in Continuous Integration: Test Result Analysis using the Eiffel Framework 405Daniel Ståhl and Jan Bosch17 An Automated Regression Testing Framework for a Hadoop-Based Entity Resolution System 415Daniel Pullen, PeiWang, Joshua R. Johnson, and John R. TalburtPart IV Testing Applications 43918 Testing Defense Systems 441Laura J. Freeman, Thomas Johnson,Matthew Avery, V. Bram Lillard, and Justace Clutter19 A Search-Based Approach to Geographical Data Generation for Testing Location-Based Services 489Xiaoying Bai, Kejia Hou, Jun Huang, andMingli Yu20 Analytics in Testing Communication Systems 501Gilli Shama21 Measures in the Systems Integration Verification and Validation Phase and Aerospace Applications Field Experience 515Sarit Assaraf and Ron S. KenettIndex 537

RON S. KENETT is Chairman of KPA Ltd and Senior Research Fellow at the Samuel Neaman Institute, Technion, Israel. FABRIZIO RUGGERI is Research Director at CNR-IMATI, Milano, Italy. FREDERICK W. FALTIN is Co-Founder of The Faltin Group, Cody, WY, and Associate Professor of Practice, Department of Statistics, Virginia Tech, Blacksburg, VA, USA.

Select Guide Rating

• List of Contributors ixPreface xvPart I Testing Concepts andMethods 11 Recent Advances in Classifying Risk-Based Testing Approaches 3Michael Felderer, Jürgen Großmann, and Ina Schieferdecker2 Improving Software Testing with Causal Modeling 27Norman Fenton andMartin Neil3 Optimal Software Testing across Version Releases 65Simon P.Wilson and Seán Ó Ríordáin4 Incremental Verification and Coverage Analysis of Strongly Distributed Systems 81Elena V. Ravve and Zeev Volkovich5 Combinatorial Testing: An Approach to Systems and Software Testing Based on Covering Arrays 131Joseph Morgan6 Conceptual Aspects in Development and Teaching of Systemand Software Test Engineering 159Dani Almog, Ron S. Kenett, Uri Shafrir, and Hadas ChasidimPart II Statistical Models 1957 Non-homogeneous Poisson Process Models for Software Reliability 197Steven E. Rigdon8 Bayesian Graphical Models for High-Complexity Testing: Aspects of Implementation 213DavidWooff,Michael Goldstein, and Frank Coolen9 Models of Software Reliability 245Shelemyahu Zacks10 Improved Estimation of SystemReliability with Application in Software Development 255Beidi Qiang and Edsel A. Peña11 Decision Models for Software Testing 277Fabrizio Ruggeri and Refik Soyer12 Modeling and Simulations in Control Software Design 287Jiri Koziorek, Stepan Ozana, Vilem Srovnal, and Tomas DocekalPart III Testing Infrastructures 32713 A Temperature Monitoring Infrastructure and Process for Improving Data Center Energy Efficiency with Results for a High Performance Computing Data Center 329Sarah E.Michalak, AmandaM. Bonnie, Andrew J. Montoya, Curtis B. Storlie,William N. Rust, Lawrence O. Ticknor, Laura A. Davey, Thomas E.Moxley III, and Brian J. Reich14 Agile Testing with User Data in Cloud and Edge Computing Environments 353Ron S. Kenett, Avi Harel, and Fabrizio Ruggeri15 Automated Software Testing 373Xiaoxu Diao,Manuel Rodriguez, Boyuan Li, and Carol Smidts16 Dynamic Test Case Selection in Continuous Integration: Test Result Analysis using the Eiffel Framework 405Daniel Ståhl and Jan Bosch17 An Automated Regression Testing Framework for a Hadoop-Based Entity Resolution System 415Daniel Pullen, PeiWang, Joshua R. Johnson, and John R. TalburtPart IV Testing Applications 43918 Testing Defense Systems 441Laura J. Freeman, Thomas Johnson,Matthew Avery, V. Bram Lillard, and Justace Clutter19 A Search-Based Approach to Geographical Data Generation for Testing Location-Based Services 489Xiaoying Bai, Kejia Hou, Jun Huang, andMingli Yu20 Analytics in Testing Communication Systems 501Gilli Shama21 Measures in the Systems Integration Verification and Validation Phase and Aerospace Applications Field Experience 515Sarit Assaraf and Ron S. KenettIndex 537

RON S. KENETT is Chairman of KPA Ltd and Senior Research Fellow at the Samuel Neaman Institute, Technion, Israel. FABRIZIO RUGGERI is Research Director at CNR-IMATI, Milano, Italy. FREDERICK W. FALTIN is Co-Founder of The Faltin Group, Cody, WY, and Associate Professor of Practice, Department of Statistics, Virginia Tech, Blacksburg, VA, USA.

Select Guide Rating

• List of Contributors ixPreface xvPart I Testing Concepts andMethods 11 Recent Advances in Classifying Risk-Based Testing Approaches 3Michael Felderer, Jürgen Großmann, and Ina Schieferdecker2 Improving Software Testing with Causal Modeling 27Norman Fenton andMartin Neil3 Optimal Software Testing across Version Releases 65Simon P.Wilson and Seán Ó Ríordáin4 Incremental Verification and Coverage Analysis of Strongly Distributed Systems 81Elena V. Ravve and Zeev Volkovich5 Combinatorial Testing: An Approach to Systems and Software Testing Based on Covering Arrays 131Joseph Morgan6 Conceptual Aspects in Development and Teaching of Systemand Software Test Engineering 159Dani Almog, Ron S. Kenett, Uri Shafrir, and Hadas ChasidimPart II Statistical Models 1957 Non-homogeneous Poisson Process Models for Software Reliability 197Steven E. Rigdon8 Bayesian Graphical Models for High-Complexity Testing: Aspects of Implementation 213DavidWooff,Michael Goldstein, and Frank Coolen9 Models of Software Reliability 245Shelemyahu Zacks10 Improved Estimation of SystemReliability with Application in Software Development 255Beidi Qiang and Edsel A. Peña11 Decision Models for Software Testing 277Fabrizio Ruggeri and Refik Soyer12 Modeling and Simulations in Control Software Design 287Jiri Koziorek, Stepan Ozana, Vilem Srovnal, and Tomas DocekalPart III Testing Infrastructures 32713 A Temperature Monitoring Infrastructure and Process for Improving Data Center Energy Efficiency with Results for a High Performance Computing Data Center 329Sarah E.Michalak, AmandaM. Bonnie, Andrew J. Montoya, Curtis B. Storlie,William N. Rust, Lawrence O. Ticknor, Laura A. Davey, Thomas E.Moxley III, and Brian J. Reich14 Agile Testing with User Data in Cloud and Edge Computing Environments 353Ron S. Kenett, Avi Harel, and Fabrizio Ruggeri15 Automated Software Testing 373Xiaoxu Diao,Manuel Rodriguez, Boyuan Li, and Carol Smidts16 Dynamic Test Case Selection in Continuous Integration: Test Result Analysis using the Eiffel Framework 405Daniel Ståhl and Jan Bosch17 An Automated Regression Testing Framework for a Hadoop-Based Entity Resolution System 415Daniel Pullen, PeiWang, Joshua R. Johnson, and John R. TalburtPart IV Testing Applications 43918 Testing Defense Systems 441Laura J. Freeman, Thomas Johnson,Matthew Avery, V. Bram Lillard, and Justace Clutter19 A Search-Based Approach to Geographical Data Generation for Testing Location-Based Services 489Xiaoying Bai, Kejia Hou, Jun Huang, andMingli Yu20 Analytics in Testing Communication Systems 501Gilli Shama21 Measures in the Systems Integration Verification and Validation Phase and Aerospace Applications Field Experience 515Sarit Assaraf and Ron S. KenettIndex 537