The Oracle Problem for Testing against Quantified Properties
暂无分享,去创建一个
[1] Laurent Mounier,et al. Property Oriented Test Case Generation , 2003, FATES.
[2] Luc Bougé,et al. A Contribution to the Theory of Program Testing , 1985, Theor. Comput. Sci..
[3] Gilles Bernot,et al. Testing Against Formal Specifications: A Theoretical View , 1991, TAPSOFT, Vol.2.
[4] Jan Tretmans,et al. Testing Concurrent Systems: A Formal Approach , 1999, CONCUR.
[5] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[6] Alexandre Mota,et al. Towards Property Oriented Testing , 2007, SBMF.
[7] Patrícia Duarte de Lima Machado. On Oracles for Interpreting Test Results against Algebraic Specifications , 1998, AMAST.
[8] Stephan Merz,et al. Model Checking , 2000 .
[9] R. G. de Vries. Towards Formal Test Purposes , 2001 .
[10] Marie-Claude Gaudel,et al. Testing Can Be Formal, Too , 1995, TAPSOFT.
[11] Patrícia Duarte de Lima Machado,et al. Towards Test Purpose Generation from CTL Properties for Reactive Systems , 2006, MBT.
[12] Patrícia Duarte de Lima Machado. Testing from structured algebraic specifications : the oracle problem , 2000 .
[13] Marie-Claude Gaudel,et al. Software testing based on formal specifications: a theory and a tool , 1991, Softw. Eng. J..