loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Conference on Quality Software (QSIC 2007)
The Oracle Problem for Testing against Quantified Properties
Portland, Oregon, USA
October 11-October 12
ISBN: 0-7695-3035-4
ASCII Text
x 
 
Patricia D. L. Machado, Wilkerson L. Andrade, "The Oracle Problem for Testing against Quantified Properties," Quality Software, International Conference on, pp. 415-418, Seventh International Conference on Quality Software (QSIC 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/QSIC.2007.63,
author = {Patricia D. L. Machado and Wilkerson L. Andrade},
title = {The Oracle Problem for Testing against Quantified Properties},
journal ={Quality Software, International Conference on},
volume = {0},
year = {2007},
issn = {1550-6002},
pages = {415-418},
doi = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2007.63},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Quality Software, International Conference on
TI - The Oracle Problem for Testing against Quantified Properties
SN - 1550-6002
SP415
EP418
A1 - Patricia D. L. Machado,
A1 - Wilkerson L. Andrade,
PY - 2007
VL - 0
JA - Quality Software, International Conference on
ER -
 
Patricia D. L. Machado, Federal University of Campina Grande, Campina Grande, Brazil
Wilkerson L. Andrade, Federal University of Campina Grande, Campina Grande, Brazil
The oracle problem for testing from quantified proper- ties is discussed and illustrated by proposed solutions for first-order logic and computation tree logic (CTL) proper- ties. Unless constraints are placed, it is not always possible to generate feasible test suites from which accurate conclu- sions on their execution results can be reached regarding conformity with the intended property.
Citation:
Patricia D. L. Machado, Wilkerson L. Andrade, "The Oracle Problem for Testing against Quantified Properties," qsic, pp.415-418, Seventh International Conference on Quality Software (QSIC 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.