Java specification extension for automated test development

DOI10.1007/3-540-45575-2_30MaRDI QIDQ3043836zbMATH OpenFDO

Authors A. V. Demakov, Andrew A. Jarov, V. V. Kuliamin, S. V. Zelenov, I. B. Bourdonov, A. S. Kossatchev, A. K. Petrenko

Publication date 6 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440301.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Automatic Testing from Formal Specifications
• Automated analysis of Java message service providers
• A simple and practical approach to unit testing: The JML and JUnit way
• Checking Java Assertions Using Automated Test-Case Generation
• Automated program synthesis for Java programming language

Cited in

(9)

• Coverage testing of Java programs and components
• Automatic test generation for Java-card applets
• Towards axiom-based test generation in .NET applications
• A simple and practical approach to unit testing: The JML and JUnit way
• Automated Generation of Positive and Negative Tests for Parsers
• Methods of developing extra test modules for Microsoft Class Server system
• An introduction to test specification in FQL
• Checking Java Assertions Using Automated Test-Case Generation
• Object-oriented description of graph data structures

Describes a project that uses

Uses Software

• ADL2

This page was built for publication: Java specification extension for automated test development

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3043836)