Systematically deriving partial oracles for testing concurrent programs
暂无分享,去创建一个
[1] David Lorge Parnas,et al. Using Test Oracles Generated from Program Documentation , 1998, IEEE Trans. Software Eng..
[2] Laura K. Dillon,et al. Generating oracles from your favorite temporal logic specifications , 1996, SIGSOFT '96.
[3] David S. Rosenblum. Specifying concurrent systems with TSL , 1991, IEEE Software.
[4] Qing Yu,et al. Oracles for checking temporal properties of concurrent systems , 1994, SIGSOFT '94.
[5] Gregor von Bochmann,et al. Trace Analysis for Conformance and Arbitration Testing , 1989, IEEE Trans. Software Eng..
[6] Erich Mikk,et al. Compilation of Z Specifications into C for Automatic Test Result Evaluation , 1995, ZUM.
[7] Hans-Martin Hörcher,et al. Improving Software Tests Using Z Specifications , 1995, ZUM.
[8] Jason McDonald,et al. Translating Object-Z specifications to passive test oracles , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
[9] Daniel Hoffman,et al. Testing generic Ada packages with APE , 1998 .
[10] Debra J. Richardson,et al. Specification-based test oracles for reactive systems , 1992, International Conference on Software Engineering.