Testing generic Ada packages with APE

Authors:
Daniel Hoffman;Jayakrishnan Nair;Paul Strooper
Affiliations:
Dept. of Computer Science, Univ. of Victoria, P.O. Box 3055, MS7209, Victoria, B.C., VBW 3P6 Canada;Dept. of Computer Science, Univ. of Victoria, P.O. Box 3055, MS7209, Victoria, B.C., VBW 3P6 Canada;Dept. of Computer Science and Electrical Engineering, The Univ., of Queensland, Brisbane, 4072 Australia
Venue:
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Year:
1998

Automated Module Testing in Prolog

IEEE Transactions on Software Engineering
A software system for the generation of test data for Ada programs

EUROMICRO 93 Nineteenth EUROMICRO symposium on microprocessing and microprogramming on Open system design : hardware, software and applications: hardware, software and applications
Experiences with cluster and class testing

Communications of the ACM
The ASTOOT approach to testing object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
ClassBench: a framework for automated class testing

Software—Practice & Experience
Data Abstraction, Implementation, Specification, and Testing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Testing Ada Abstract Data Types Using Formal Specifications

Proceedings of the First International Eurospace - Ada-Europe Symposium on Ada in Europe
Testing Ada 95 Object-Oriented Programs

Proceedings of the Second International Eurospace - Ada-Europe Symposium on Ada in Europe
Techniques for Testing Ada 95

Ada-Europe '97 Proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies

Systematically deriving partial oracles for testing concurrent programs

ACSC '01 Proceedings of the 24th Australasian conference on Computer science
API documentation with executable examples

Journal of Systems and Software
Testing polymorphic properties

ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems

Hi-index	0.00