Amanote Research

Amanote Research

    RegisterSign In

Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning About Measurements Is the Key

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-61708-6_62
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 1996

Authors
Harald LangeRalf MöllerBernd Neumann
Publisher

Springer Berlin Heidelberg


Related search

Automatic Test Case Generation for WS-Agreements Using Combinatorial Testing

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
2015English

Reasoning About Loops Using Vampire in KeY

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Automatic Generation of Test Cases

IBM Systems Journal
1970English

Semi-Automatic Search-Based Test Generation

2012English

Automatic Quality Control of the Meteosat First Generation Measurements

2019English

Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search

2015English

Using Static Analysis to Improve Automatic Test Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Automatic Generation of English Language Test Questions Using Mathematica

CBU International Conference Proceedings
2017English

Extension of Interface Signature Descriptions for Automatic Test Generation

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy