Thoroughness of specification-based testing of synchronous programs
暂无分享,去创建一个
[1] Ioannis Parissis,et al. Lutess: a testing environment for synchronous software , 1998, Tool Support for System Specification, Development and Verification.
[2] Nancy D. Griffeth,et al. Feature Interaction Detetion Contest , 1998, FIW.
[3] Ioannis Parissis,et al. Specification-based testing of synchronous software , 1996, SIGSOFT '96.
[4] Nicolas Halbwachs,et al. LUSTRE: A declarative language for programming synchronous systems* , 1987 .
[5] Ioannis Parissis,et al. Strategies for automated specification-based testing of synchronous software , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[6] Debra J. Richardson,et al. Specification-based test oracles for reactive systems , 1992, International Conference on Software Engineering.
[7] Lydie du Bousquet,et al. Incremental Feature Validation: a Synchronous Point of View , 1998, FIW.
[8] Nicolas Halbwachs,et al. LUSTRE: a declarative language for real-time programming , 1987, POPL '87.
[9] Richard G. Hamlet,et al. Partition Testing Does Not Inspire Confidence , 1990, IEEE Trans. Software Eng..
[10] Qing Yu,et al. Oracles for checking temporal properties of concurrent systems , 1994, SIGSOFT '94.
[11] Adam A. Porter,et al. Specification-based Testing of Reactive Software: Tools and Experiments Experience Report , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[12] Simeon C. Ntafos,et al. An Evaluation of Random Testing , 1984, IEEE Transactions on Software Engineering.
[13] Nicolas Halbwachs,et al. From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time , 1988, FTRTFT.
[14] Marie-Claude Gaudel,et al. Software testing based on formal specifications: a theory and a tool , 1991, Softw. Eng. J..