scientific article; zbMATH DE number 2084351

zbMATH Open1073.68547MaRDI QIDQ3043836FDOQ3043836

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (8)

• Checking Java Assertions Using Automated Test-Case Generation
• Towards axiom-based test generation in .NET applications
• An introduction to test specification in FQL
• Coverage testing of Java programs and components
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated Generation of Positive and Negative Tests for Parsers
• Object-oriented description of graph data structures

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)