A survey on data-flow testing
Data-flow testing (DFT) is a family of testing strategies designed to verify the interactions
between each program variable's definition and its uses. Such a test objective of interest is …
between each program variable's definition and its uses. Such a test objective of interest is …
Combining symbolic execution and model checking for data flow testing
Data flow testing (DFT) focuses on the flow of data through a program. Despite its higher
fault-detection ability over other structural testing techniques, practical DFT remains a …
fault-detection ability over other structural testing techniques, practical DFT remains a …
[CITATION][C] A Review on Software Testing and Its Methodology
J Ahmad, A ul Hasan, T Naqvi, T Mubeen - Manag. J. Softw. Eng, 2019
Evaluation of the usability of a serious game aiming to teach facial expressions to schizophrenic patients
In some psychological disorders such as autism and schizophrenia, loss of facial expression
recognition skill may complicate patient's daily life. Information technology may help to …
recognition skill may complicate patient's daily life. Information technology may help to …
Data visualization using shape preserving C2 rational spline
M Sarfraz, MZ Hussain, TS Shaikh… - 2011 15th International …, 2011 - ieeexplore.ieee.org
A rational cubic spline is developed to provide smooth curves (positive, monotone and
convex). To control the shape of the curve, two families of parameters are introduced in its …
convex). To control the shape of the curve, two families of parameters are introduced in its …
Key factors for selecting software testing tools
M Tiitinen - 2013 - theseus.fi
This study presents information of software testing, importance of testing, testing tools
selection process and consequences of serious defects in software. A key element to …
selection process and consequences of serious defects in software. A key element to …
A pilot study to assess the usability of a novel psychotherapeutic interactive gaming application as a tool to measure facial emotion recognition in patients with …
RP Gonzalez - 2016 - upcommons.upc.edu
This work presents the development and the assessment of Feeling Master, a novel
psychotherapeutic interactive gaming application that uses cartoon stimuli to measure facial …
psychotherapeutic interactive gaming application that uses cartoon stimuli to measure facial …
[PDF][PDF] Towards Efficient Data-flow Test Data Generation Using KLEE
Towards Efficient Data-flow Test Data Generation Using KLEE Page 1 Introduction Approach
Implementation Evaluation Application Towards Efficient Data-flow Test Data Generation Using …
Implementation Evaluation Application Towards Efficient Data-flow Test Data Generation Using …
[PDF][PDF] Feature based Spatial Quality Analysis for Visual Attributes towards Test Case Generation
K Mahalakshmi, N Indumathi, AJ Jothi - conference.bonfring.org
The work addressed the boundary values for identifying visual quality factors of the video
using software testing method called Boundary Value Analysis (BVA). Analysis made by the …
using software testing method called Boundary Value Analysis (BVA). Analysis made by the …
[PDF][PDF] The development process of a psychotherapeutic game for facial expression recognition in patients with Schizophrenia: A pilot study
RP González, F Alpiste Penalba, S Ochoa… - ICERI2015 …, 2015 - upcommons.upc.edu
This work presents the design and development process of 'Feeling Master', a new
psychotherapeutic interactive game for facial emotion recognition. Feeling Master is …
psychotherapeutic interactive game for facial emotion recognition. Feeling Master is …