The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 04 - July/Aug. (vol. 34)
ISSN: 0740-7459

Front Cover (PDF)

pp. c1

Table of Contents (PDF)

pp. 1-2

Masthead (PDF)

pp. 3
From the Editor

Software Reliability Redux (HTML)

Diomidis Spinellis , Athens University of Economics and Business
pp. 4-7
Practitioners? Digest

Developments in Requirements Engineering (HTML)

Jeffrey C. Carver , University of Alabama
pp. 8-10
Impact

Delivering Genuine Emails in an Ocean of Spam (Abstract)

Leo Hatton , SendForensics
Alan John , SendForensics
pp. 11-15
Requirements

Safety Stories in Agile Development (Abstract)

Jane Cleland-Huang , University of Notre Dame
pp. 16-19
The Pragmatic Architect
Voice of Evidence

Voice of Evidence: A Look Back (Abstract)

Forrest Shull , Carnegie Mellon University's Software Engineering Institute
Tore Dyba , SINTEF Digital
Helen Sharp , The Open University, Milton Keynes
Rafael Prikladnicki , Pontifícia Universidade Católica do Rio Grande do Sul
pp. 23-25
Focus: Guest Editors? Introduction

Reliability Engineering (HTML)

Xabier Larrucea , Tecnalia
Fabien Belmonte , Alstom Transport
Adam Welc , Huawei
Tao Xie , University of Illinois at Urbana-Champaign
pp. 26-29
Focus: Reliability Engineering

Automated System-Level Regression Test Prioritization in a Nutshell (Abstract)

Per Erik Strandberg , Westermo Research and Development
Wasif Afzal , Mälardalen University
Thomas J. Ostrand , Mälardalen University
Elaine J. Weyuker , Mälardalen University
Daniel Sundmark , Mälardalen University
pp. 30-37

Safety Analysis of Safety-Critical Systems Using State-Space Models (Abstract)

Vinay Kumar , Indian Institute of Technology (Banaras Hindu University)
Lalit Kumar Singh , Indian Institute of Technology (Banaras Hindu University)
Anil Kumar Tripathi , Indian Institute of Technology (Banaras Hindu University)
Pooja Singh , Indian Institute of Technology (Banaras Hindu University)
pp. 38-47
Focus: Reliability Engineering

Requirements Engineering for Safety-Critical Systems: Overview and Challenges (Abstract)

Luiz Eduardo G. Martins , Federal University of São Paulo
Tony Gorschek , Blekinge Institute of Technology
pp. 49-57
Feature: Agile Development
Insights
Invited Content
Software Technology

Toward Software Technology 2050 (Abstract)

Christof Ebert , Vector Consulting Services
Steve Counsell , Brunel University
pp. 82-88
Reliable Code

Dead Programs (Abstract)

Gerard J. Holzmann , Nimble Research
pp. 89-91
Software Engineering

Katie Malone on Machine Learning (HTML)

Edaena Salinas , Microsoft Research
pp. 92-96
88 ms
(Ver 3.3 (11022016))