The oracle problem for testing against quantified properties

Proceedings - International Conference on Quality Software

Volumn , Issue , 2007, Pages 415-418

  Machado, Patricia D L ^a   Andrade, Wilkerson L ^a  

^a FEDERAL UNIVERSITY OF CAMPINA GRANDE   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR ANALYSIS; FORMAL LOGIC; FUZZY LOGIC;

(PL) PROPERTIES; COMPUTATION TREE LOGIC (CTL); FIRST ORDER LOGIC (FOL); INTERNATIONAL CONFERENCES; ORACLE PROBLEM; PROPERTY (S); QUALITY SOFTWARE; TEST SUITES;

COMPUTATIONAL GEOMETRY;

EID: 46449125032     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2007.4385529     Document Type: Conference Paper

References (14)

1. G. Bernot. Testing against formal specifications: a theoretical view. In Proceedings of TAPSOFT'91: Vol. 2, pages 99-119, New York, NY, USA, 1991. Springer-Verlag.
2. G. Bernot, M.-C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6(6):387-405, 1991.
3. L. Bougé. A contribution to the theory of program testing. Theoretical Computer Science, 37:151-181, 1985.
4. E. Clarke and E. Emerson. Synthesis of synchronization skeletons for branching time temporal logic. Lecture Notes in Computer Science, 131, 1981.
5. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 1999.
6. R. G. de Vries and J. Tretmans. Towards formal test purposes. In Proceedings of (FATES'01), volume NS-01-4 of BRICS Notes Series, pages 61-76, Aarhus, Denmark, 2001.
7. J. Fernandez, L. Mounier, and C. Pachon. Property oriented test case generation. In Proceedings of FATES 2003, volume 2931 of LNCS, pages 147-163. Springer, 2004.
8. M.-C. Gaudel. Testing can be formal, too, In Proceedings of TAPSOFT'95, volume 915 of LNCS. Springer, 1995.
9. P. D. L. Machado. On oracles for interpreting test results against algebraic specifications. In Proceedings of AMAST'98, volume 1548 of LNCS, pages 502-518. 1999.
10. P. D. L. Machado. Testing from Structured Algebraic Specifications: The Oracle Problem. PhD thesis, LFCS, University of Edinburgh, UK, 2000.
11. P. D. L. Machado, D. A. Silva, and A. C. Mota. Towards property oriented testing. Electronic Notes in Theoretical Computer Science, 184:3-19, 2007.
12. A. Pnueli. The temporal logic of programs. In Proceedings of the 18th IEEE Symposium Foundations of Computer Science, pages 46-57, 1977.
13. D. A. Silva and P. D. L. Machado. Towards test purpose generation from ctl properties for reactive systems. Electr. Notes Theor. Computer Science, 164(4):29-40, 2006.
14. J. Tretmans. Testing concurrent systems: A formal approach. In Proceedings of CONCUR'99, pages 46-65. Springer, 1999.