Volume 24; Issue 1

Main
Software Quality Journal
Volume 24; Issue 1

Software Quality Journal

Volume 24; Issue 1

1

Normalizing variations in feature vector structure in keystroke dynamics authentication systems

Syed, Zahid, Banerjee, Sean, Cukic, Bojan

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 1.13 MB

english, 2016

2

Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories

Bauch, Petr, Havel, Vojtěch, Barnat, Jiří

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 1.84 MB

english, 2016

3

Certifying a java type resolution function using program transformation, annotation, and reflection

Winter, Victor, Reinke, Carl, Guerrero, Jonathan

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

4

Finding fault with fault injection: an empirical exploration of distortion in fault injection experiments

van der Kouwe, Erik, Giuffrida, Cristiano, Tanenbaum, Andrew S.

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 1.32 MB

english, 2016

5

Experiences with software-based soft-error mitigation using AN codes

Hoffmann, Martin, Ulbrich, Peter, Dietrich, Christian, Schirmeier, Horst, Lohmann, Daniel, Schröder-Preikschat, Wolfgang

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 1.58 MB

english, 2016

6

Toward high assurance software systems with adaptive fault management

Rinsaka, Koichiro, Dohi, Tadashi

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 514 KB

english, 2016

7

Assessing vulnerability exploitability risk using software properties

Younis, Awad, Malaiya, Yashwant K., Ray, Indrajit

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 1.97 MB

english, 2016

8

Special issue on High Assurance Systems Engineering

Clarke, Peter J., Zulkernine, Mohammad

Journal:

Software Quality Journal

Year:

2016

Language:

english

File:

PDF, 288 KB

english, 2016

9

In this issue

Harrison, Rachel

Journal:

Software Quality Journal

Year:

2016

File:

PDF, 276 KB

2016