Comprehending Object State via Dynamic Class Invariant Learning
JH Boockmann, G Lüttgen - International Conference on Fundamental …, 2024 - Springer
Maintaining software is cumbersome when method argument constraints are
undocumented. To reveal them, previous work learned preconditions from exemplary valid …
undocumented. To reveal them, previous work learned preconditions from exemplary valid …
Java JIT Testing with Template Extraction
We present LeJit, a template-based framework for testing Java just-in-time (JIT) compilers.
Like recent template-based frameworks, LeJit executes a template--a program with holes to …
Like recent template-based frameworks, LeJit executes a template--a program with holes to …
BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs
Bounded exhaustive testing is a very effective technique for bug finding, which proposes to
test a given program under all valid bounded inputs, for a bound provided by the developer …
test a given program under all valid bounded inputs, for a bound provided by the developer …
[PDF][PDF] A Systematic Mapping Study on Techniques for Generating Test Cases from Requirements.
A Rodrigues, J Vilela, C Silva - IoTBDS, 2024 - scitepress.org
Context: Software testing can be costly for organizations. Techniques and tools that deal
with the automatic generation of test cases provide a way to reduce the efforts employed and …
with the automatic generation of test cases provide a way to reduce the efforts employed and …
[PDF][PDF] Template-Based Testing for Java Just-in-Time Compilers
C Julien, O Legunsen, C Rossbach - zzqpro.net
JAttack is a framework that enables compiler testing using templates. Using JAttack, a
developer writes a template program that describes a set of concrete programs to be used …
developer writes a template program that describes a set of concrete programs to be used …