Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kristoffer Kleine
Testing TLS Using Combinatorial Methods and Execution Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Research on Fuzz Testing Framework Based on Concolic Execution
DEStech Transactions on Computer Science and Engineering
Automated Regression Testing Using Symbolic Execution
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
Framework for Formal Methods in Conformance Testing
Distance-Integrated Combinatorial Testing
Automatic Test Case Generation for WS-Agreements Using Combinatorial Testing
Computer Standards and Interfaces
Hardware
Law
Architecture
Software
SPHERES Flight Operations Testing and Execution
Acta Astronautica
Aerospace Engineering
An Empirical Comparison of Combinatorial Testing, Random Testing and Adaptive Random Testing
IEEE Transactions on Software Engineering
Software
An Application of Combinatorial Methods to Conformance Testing for Document Object Model Events
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
