Improving machine translation systems via isotopic replacement
Machine translation plays an essential role in people's daily international communication.
However, machine translation systems are far from perfect. To tackle this problem …
However, machine translation systems are far from perfect. To tackle this problem …
Computing correctly with inductive relations
Z Paraskevopoulou, A Eline… - Proceedings of the 43rd …, 2022 - dl.acm.org
Inductive relations are the predominant way of writing specifications in mechanized proof
developments. Compared to purely functional specifications, they enjoy increased …
developments. Compared to purely functional specifications, they enjoy increased …
Compiler testing using template java programs
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 …
JAttack, a developer writes a template program that describes a set of programs to be …
Flakime: laboratory-controlled test flakiness impact assessment
Much research on software testing makes an implicit assumption that test failures are
deterministic such that they always witness the presence of the same defects. However, this …
deterministic such that they always witness the presence of the same defects. However, this …
Semi-automatic testing of data-focused software development kits for industrie 4.0
T Miny, S Heppner, I Garmaev, T Kleinert… - 2022 IEEE 20th …, 2022 - ieeexplore.ieee.org
The digital twin, or more precisely the Asset Administration Shell, is the key element for
interoperability in Industrie 4.0. Together with the asset, it forms the I4. 0 component. For the …
interoperability in Industrie 4.0. Together with the asset, it forms the I4. 0 component. For the …
Lissa: Lazy initialization with specialized solver aid
Programs that deal with heap-allocated inputs are difficult to analyze with symbolic
execution (SE). Lazy Initialization (LI) is an approach to SE that deals with heap-allocated …
execution (SE). Lazy Initialization (LI) is an approach to SE that deals with heap-allocated …
Comparing the refactoring mechanics of refactoring detection tools and IDEs
OLD SILVA - 2022 - dspace.sti.ufcg.edu.br
Refactoring detection tools, such as REFACTORINGMINER and REFDIFF, are helpful to
study refactorings applied to software repositories. To evaluate them, the tools' authors study …
study refactorings applied to software repositories. To evaluate them, the tools' authors study …