scientific article; zbMATH DE number 2084351

MaRDI QIDQ3043836zbMATHFDO

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

Publication date 6 August 2004

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
• scientific article; zbMATH DE number 2080835
• scientific article; zbMATH DE number 2089386
• Checking Java Assertions Using Automated Test-Case Generation
• scientific article; zbMATH DE number 2084338

Cited in

(8)

• Towards axiom-based test generation in .NET applications
• scientific article; zbMATH DE number 1706336 (Why is no real title available?)
• Automated Generation of Positive and Negative Tests for Parsers
• Checking Java Assertions Using Automated Test-Case Generation
• scientific article; zbMATH DE number 2089386 (Why is no real title available?)
• An introduction to test specification in FQL
• Coverage testing of Java programs and components
• Object-oriented description of graph data structures

Describes a project that uses

Uses Software

• ADL2

This page was built for publication:

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