default search action
Software Quality Journal, Volume 24
Volume 24, Number 1, March 2016
- Rachel Harrison:
In this issue. 1 - Peter J. Clarke, Mohammad Zulkernine:
Special issue on High Assurance Systems Engineering. 3-5 - Erik van der Kouwe, Cristiano Giuffrida, Andrew S. Tanenbaum:
Finding fault with fault injection: an empirical exploration of distortion in fault injection experiments. 7-36 - Petr Bauch, Vojtech Havel, Jiri Barnat:
Accelerating temporal verification of Simulink diagrams using satisfiability modulo theories. 37-63 - Koichiro Rinsaka, Tadashi Dohi:
Toward high assurance software systems with adaptive fault management. 65-85 - Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat:
Experiences with software-based soft-error mitigation using AN codes. 87-113 - Victor L. Winter, Carl Reinke, Jonathan Guerrero:
Certifying a java type resolution function using program transformation, annotation, and reflection. 115-135 - Zahid A. Syed, Sean Banerjee, Bojan Cukic:
Normalizing variations in feature vector structure in keystroke dynamics authentication systems. 137-157 - Awad A. Younis, Yashwant K. Malaiya, Indrajit Ray:
Assessing vulnerability exploitability risk using software properties. 159-202
Volume 24, Number 2, June 2016
- Rachel Harrison:
In this issue. 203-204 - Bartosz Alchimowicz, Jerzy R. Nawrocki:
The COCA quality model for user documentation. 205-230 - Jürgen Börstler, Michael E. Caspersen, Marie Nordström:
Beauty and the Beast: on the readability of object-oriented example programs. 231-246 - Ivan Janicijevic, Maja Krsmanovic, Nedeljko Zivkovic, Sasa Lazarevic:
Software quality improvement: a model based on managing factors impacting software quality. 247-270 - David Ameller, Matthias Galster, Paris Avgeriou, Xavier Franch:
A survey on quality attributes in service-based systems. 271-299 - Lassaad Ben Ammar, Abdelwaheb Trabelsi, Adel Mahfoudhi:
A model-driven approach for usability engineering of interactive systems. 301-335 - Leah Riungu-Kalliosaari, Ossi Taipale, Kari Smolander, Ita Richardson:
Adoption and use of cloud-based testing in practice. 337-364 - José Angel Galindo, Hamilton A. Turner, David Benavides, Jules White:
Testing variability-intensive systems using automated analysis: an application to Android. 365-405 - Ana Emília Victor Barbosa Coutinho, Emanuela Gadelha Cartaxo, Patrícia Duarte de Lima Machado:
Analysis of distance functions for similarity-based test suite reduction in the context of model-based testing. 407-445 - Adam Solinski, Kai Petersen:
Prioritizing agile benefits and limitations in relation to practice usage. 447-482
Volume 24, Number 3, September 2016
- Rachel Harrison:
In this issue. 483 - Ricardo Colomo Palacios, Miklós Biró, Richard Messnarz:
Special issue on software and service improvement in the scope of SMEs. 485-487 - Francisco J. Pino, Félix García, Mario Piattini, Hanna Oktaba:
A research framework for building SPI proposals in small organizations: the COMPETISOFT experience. 489-518 - Michael Felderer, Rudolf Ramler:
Risk orientation in software testing processes of small and medium enterprises: an exploratory and comparative study. 519-548 - Mary-Luz Sánchez-Gordón, Rory V. O'Connor:
Understanding the gap between software process practices and actual practice in very small companies. 549-570 - Atif Mashkoor:
Model-driven development of high-assurance active medical devices. 571-596 - Vasco Amaral, Marjan Mernik:
Special issue on quality in model-driven engineering. 597-599 - Miguel Goulão, Vasco Amaral, Marjan Mernik:
Quality in model-driven engineering: a tertiary study. 601-633 - Tuong Huan Nguyen, John C. Grundy, Mohamed Almorsy:
Ontology-based automated support for goal-use case model analysis. 635-673 - Andreas Ganser, Horst Lichter, Alexander Roth, Bernhard Rumpe:
Staged model evolution and proactive quality guidance for model libraries. 675-708 - Santiago Meliá, Cristina Cachero, Jesús M. Hermida, Enrique Aparicio:
Comparison of a textual versus a graphical notation for the maintainability of MDE domain models: an empirical pilot study. 709-735 - Bostjan Slivnik:
Measuring the complexity of domain-specific languages developed using MDD. 737-753 - Moharram Challenger, Geylani Kardas, Bedir Tekinerdogan:
A systematic approach to evaluating domain-specific modeling language environments for multi-agent systems. 755-795 - Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik:
Assessing and improving quality of QVTo model transformations. 797-834 - Jinho Choi, Eunkyoung Jee, Doo-Hwan Bae:
Timing consistency checking for UML/MARTE behavioral models. 835-876
Volume 24, Number 4, December 2016
- Rachel Harrison:
In this issue. 877-878 - Nils Göde, Yoshiki Higo, Rainer Koschke:
Special section on software clones. 879-881 - Manishankar Mondal, Chanchal K. Roy, Kevin A. Schneider:
A comparative study on the intensity and harmfulness of late propagation in near-miss code clones. 883-915 - Jian Chen, Thomas R. Dean, Manar H. Alalfi:
Clone detection in MATLAB Stateflow models. 917-946 - Adnane Ghannem, Ghizlane El-Boussaidi, Marouane Kessentini:
On the use of design defect examples to detect model refactoring opportunities. 947-965 - Tihana Galinac Grbac, Per Runeson, Darko Huljenic:
A quantitative analysis of the unit verification perspective on fault distributions in complex software systems: an operational replication. 967-995 - Javed Iqbal, Rodina Binti Ahmad, Mohd Hairul Nizam Md. Nasir, Mahmood Niazi, Shahaboddin Shamshirband, Muhammad Asim Noor:
Software SMEs' unofficial readiness for CMMI®-based software process improvement. 997-1023
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.