scientific article; zbMATH DE number 2084351

zbMATH Open1073.68547MaRDI QIDQ3043836FDOQ3043836

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

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?)

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (6)

• Checking Java Assertions Using Automated Test-Case Generation
• 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

   Recommendations

• Automatic Testing from Formal Specifications 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Checking Java Assertions Using Automated Test-Case Generation 👍 👎
• Title not available (Why is that?) 👍 👎

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)