Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Harald Lange
Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning About Measurements Is the Key
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automatic Test Case Generation for WS-Agreements Using Combinatorial Testing
Computer Standards and Interfaces
Hardware
Law
Architecture
Software
Reasoning About Loops Using Vampire in KeY
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Generation of Test Cases
IBM Systems Journal
Semi-Automatic Search-Based Test Generation
Automatic Quality Control of the Meteosat First Generation Measurements
Learning Combinatorial Interaction Test Generation Strategies Using Hyperheuristic Search
Using Static Analysis to Improve Automatic Test Generation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Generation of English Language Test Questions Using Mathematica
CBU International Conference Proceedings
Extension of Interface Signature Descriptions for Automatic Test Generation
