Add to ORKGAbstract. CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUTE combines concrete and symbolic execution in a way that avoids redundant test cases as well as false warnings. The tool also introduces a race-flipping technique to efficiently test and model check concurrent programs with data inputs.
Abstract. Concolic testing is a promising method for generating test suites for large programs. Howe...
CUTE is a lightweight testing framework that offers the possibility to write automated C++ tests. T...
Abstract. JNuke is a framework for verification and model checking of Java programs. It is a novel c...
Testing using manually generated test cases is the primary technique used in industry to improve rel...
Testing using manually generated test cases is the primary technique used in industry to improve rel...
In unit testing, a program is decomposed into units which are collections of functions. A part of un...
Testing using manually generated test cases is the primary technique used in industry to improve rel...
Concolic testing is a technique that combines concrete and symbolic execution in order to generate i...
Abstract. Concolic testing is a method for test input generation where a given program is executed b...
Testing concurrent programs that accept data inputs is no-toriously hard because, besides the large ...
Testing concurrent programs that accept data inputs is notoriously hard because, beside the large nu...
In test-driven development, tests are written for each program unit before the code is written, ensu...
The Pale framework offers high expressiveness for preconditions, postconditions, loop and data struc...
Abstract LCT (LIME Concolic Tester) is an open source concolic testing tool for sequential Java prog...
Concolic Testing is the combination of symbolic as well as concrete execution. It considers program ...
Abstract. Concolic testing is a promising method for generating test suites for large programs. Howe...
CUTE is a lightweight testing framework that offers the possibility to write automated C++ tests. T...
Abstract. JNuke is a framework for verification and model checking of Java programs. It is a novel c...
Testing using manually generated test cases is the primary technique used in industry to improve rel...
Testing using manually generated test cases is the primary technique used in industry to improve rel...
In unit testing, a program is decomposed into units which are collections of functions. A part of un...
Testing using manually generated test cases is the primary technique used in industry to improve rel...
Concolic testing is a technique that combines concrete and symbolic execution in order to generate i...
Abstract. Concolic testing is a method for test input generation where a given program is executed b...
Testing concurrent programs that accept data inputs is no-toriously hard because, besides the large ...
Testing concurrent programs that accept data inputs is notoriously hard because, beside the large nu...
In test-driven development, tests are written for each program unit before the code is written, ensu...
The Pale framework offers high expressiveness for preconditions, postconditions, loop and data struc...
Abstract LCT (LIME Concolic Tester) is an open source concolic testing tool for sequential Java prog...
Concolic Testing is the combination of symbolic as well as concrete execution. It considers program ...
Abstract. Concolic testing is a promising method for generating test suites for large programs. Howe...
CUTE is a lightweight testing framework that offers the possibility to write automated C++ tests. T...
Abstract. JNuke is a framework for verification and model checking of Java programs. It is a novel c...