Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Shi, August"'
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 be filled -- to generate concrete programs given as inputs to Java
Externí odkaz:
http://arxiv.org/abs/2403.11281
We present JAttack, a framework that enables template-based testing for compilers. Using JAttack, a developer writes a template program that describes a set of programs to be generated and given as test inputs to a compiler. Such a framework enables
Externí odkaz:
http://arxiv.org/abs/2209.04514
Publikováno v:
ICSE: International Conference on Software Engineering; 5/22/2021, p50-61, 12p
Publikováno v:
ICSE: International Conference on Software Engineering; 5/25/2019, p430-441, 12p
Publikováno v:
ICSE: International Conference on Software Engineering; 5/27/2018, p25-28, 4p
Publikováno v:
2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE); 2016, p105-115, 11p
Publikováno v:
2016 IEEE International Conference on Software Testing, Verification & Validation (ICST); 2016, p80-90, 11p
Publikováno v:
2014 IEEE 26th International Symposium on Computer Architecture & High Performance Computing; 2014, p246-253, 8p