Using test oracles generated from program documentation

10.1145/357139.357140

luckham, 1987, ANNA A Language for Annotating Ada Programs Reference Manual Lecture Notes in Computer Science 260, 10.1007/3-540-17980-1

10.1007/978-3-7091-6510-2_12

hamlet, 1977, testing programs with the aid of a compiler, IEEE Transactions on Software Engineering, se 3, 279, 10.1109/TSE.1977.231145

10.1145/358628.358642

10.1109/52.156894

mikk, 1995, compilation of z specifications into c for automatic test result evaluation, ZUM 95 The Z Formal Specification Notation Lecture Notes in Computer Science 967, 167, 10.1007/3-540-60271-2_119

h�rcher, 1995, improving software tests using z specifications, ZUM 95 The Z Formal Specification Notation Lecture Notes in Computer Science 967, 152, 10.1007/3-540-60271-2_118

howden, 1987, Functional Program Testing and Analysis

janicki, 1995, towards a formal semantics of parnas tables, 1995 17th International Conference on Software Engineering icse, 231, 10.1145/225014.225036

10.1109/32.75414

10.1145/69610.357988

10.1109/CMPASS.1995.521890

10.1109/TSE.1980.230208

10.1145/186258.186508

sankar, 1994, specifying and testing software components using adl

1997, table tool system developer's guide

10.1109/ICSE.1992.753494

10.1109/32.341844

10.1093/comjnl/25.4.465

abraham, 1997, evaluating generalized tabular expressions in software documentation, "Evaluating Generalized Tabular Expressions in Software Documentation "

10.1145/154183.154190

wang, 1994, specifying and simulating the externally observable behavior of modules, "Specifying and Simulating the Externally Observable Behavior of Modules "

bernot, 1991, software testing based on formal specifications: a theory and a tool, Software Engineering Journal, 6, 387, 10.1049/sej.1991.0040

bauer, 1995, documenting complicated programs, "Documenting Complicated Programs "

antoy, 1991, objects that check themselves against formal specifications

1996, ADL Language Reference Manual for ANSI C Programmers Release 1 1

10.1109/C-M.1978.218138

10.1145/358161.358168

parnas, 1989, the trace assertion method of module interface specification

10.1016/0167-6423(95)96871-J

10.1109/32.368133

parnas, 1992, tabular representation of relations

10.1109/32.241769

parnas, 1994, mathematical description and specification of software, Proc IFIP Congress, 354

10.1007/BF01135377

peters, 1996, shortest path algorithm: formal program documentation