Application of PROLOG to test sets generation from algebraic specifications

Authors:
L Bougé;N Choquet;L Fribourg;M C Gaudel
Affiliations:
-;-;-;-
Venue:
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
Year:
1985

Citing 0
Cited 4

Formal Specification and Design Time Testing

IEEE Transactions on Software Engineering
Implementation-based analysis and testing of Prolog programs

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Automatically Checking an Implementation against Its Formal Specification

IEEE Transactions on Software Engineering
Test-Case Generation from Prolog-Based Specifications

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract