Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Journal
    Name: Software Quality Journal
    Year: 2016
    Volume: 24
    Number: 1
    DBLP: db/journals/sqj/sqj24.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 41  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Petr Bauch, Vojtech Havel, Jiri Barnat.
    Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Journal article
    Victor L. Winter, Carl Reinke, Jonathan Guerrero.
    Certifying a java type resolution function using program transformation, annotation, and reflection.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Journal article
    Martin Hoffmann, Peter Ulbrich, Christian Dietrich 0001, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat.
    Experiences with software-based soft-error mitigation using AN codes.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Journal article
    Peter J. Clarke, Mohammad Zulkernine.
    Special issue on High Assurance Systems Engineering.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Journal article
    Zahid Syed, Sean Banerjee, Bojan Cukic.
    Normalizing variations in feature vector structure in keystroke dynamics authentication systems.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Journal article
    Erik van der Kouwe, Cristiano Giuffrida, Andrew S. Tanenbaum.
    Finding fault with fault injection: an empirical exploration of distortion in fault injection experiments.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Journal article
    Awad A. Younis, Yashwant K. Malaiya, Indrajit Ray.
    Assessing vulnerability exploitability risk using software properties.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Journal article
    Rachel Harrison.
    In this issue.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Journal article
    Koichiro Rinsaka, Tadashi Dohi.
    Toward high assurance software systems with adaptive fault management.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Conference paper
    José A. Galindo, Hamilton A. Turner, David Benavides, Jules White.
    Testing variability-intensive systems using automated analysis: an application to Android.
    Software Quality Journal 2016, Volume 24 (0) 2016
    Show item 1 to 10 of 41  

    Your query returned 41 matches in the database.