scholarly journals Revisiting Test Cases to Boost Generate-and-Validate Program Repair

2021 ◽  
Author(s):  
Jingtang Zhang ◽  
Kui Liu ◽  
Dongsun Kim ◽  
Li Li ◽  
Zhe Liu ◽  
...  
Keyword(s):  
Test Cases ◽  
Program Repair

scholarly journals Revisiting Test Cases to Boost Generate-and-Validate Program Repair

2021 ◽  
Author(s):  
Jingtang Zhang ◽  
Bissyandé Tegawendé F. ◽  
Liu Zhe ◽  
Li Li ◽  
Kim Dongsun ◽  
...  
Keyword(s):  
Test Cases ◽  
Program Repair

scholarly journals Modification Point Aware Test Prioritization and Sampling to Improve Patch Validation in Automatic Program Repair

2020 ◽  
Vol 10 (5) ◽  
pp. 1593 ◽  
Author(s):  
Yazhini Venugopal ◽  
Phung Quang-Ngoc ◽  
Lee Eunseok
Keyword(s):  
Fitness Function ◽  
Test Cases ◽  
Software Bugs ◽  
Test Execution ◽  
Automatic Program ◽  
Repair Efficiency ◽  
Program Repair ◽  
Test Prioritization ◽  
Automatic Program Repair ◽  
Test Suites

Recently, Automatic Program Repair (APR) has shown a high capability of repairing software bugs automatically. In general, most of the APR techniques require test suites to validate automatically generated patches. However, the test suites used for patch validation might contain thousands of test cases. Running these whole test suites to validate every program variant makes the validation process not only time-consuming but also expensive. To mitigate this issue and to enhance the patch validation in APR, we introduce (1) MPTPS (Modification Point-aware Test Prioritization and Sampling), which iteratively records test execution. Based on the failed test information, it performs test prioritization, then sampling to reduce the test execution time by moving forward the test cases that are most likely to fail in the test suite; and (2) a new fitness function that refines the existing one to improve repair efficiency. We implemented our MPPEngine approach in the Astor workspace by extending jGenProg. And the experiments on the Defects4j benchmark against jGenProg show that, on average, jGenProg consumes 79.27 s to validate one program variant, where MPPEngine takes only 33.70 s for results in 57.50% of validation time reduction. Also, MPPEngine outperforms jGenProg by finding patches for six more bugs than jGenProg.

Linear Visco-Resistive Computations of Magnetohydrodynamic Waves: I. The Code and Test Cases

1994 ◽  
Vol 144 ◽  
pp. 503-505
Author(s):  
R. Erdélyi ◽  
M. Goossens ◽  
S. Poedts
Keyword(s):  
Resonant Absorption ◽  
Numerical Code ◽  
Mhd Waves ◽  
Test Cases ◽  
Numerical Accuracy ◽  
Element Discretization ◽  
Flux Tubes ◽  
Magnetohydrodynamic Waves ◽  
Viscosity Coefficients ◽  
Magnetic Flux Tubes

AbstractThe stationary state of resonant absorption of linear, MHD waves in cylindrical magnetic flux tubes is studied in viscous, compressible MHD with a numerical code using finite element discretization. The full viscosity tensor with the five viscosity coefficients as given by Braginskii is included in the analysis. Our computations reproduce the absorption rates obtained by Lou in scalar viscous MHD and Goossens and Poedts in resistive MHD, which guarantee the numerical accuracy of the tensorial viscous MHD code.

Application of Backside Photo and Thermal Emission Microscopy Techniques to Advanced Memory Devices

1997 ◽  
Author(s):  
S.-S. Lee ◽  
J.-S. Seo ◽  
N.-S. Cho ◽  
S. Daniel
Keyword(s):  
Thermal Emission ◽  
Test Cases ◽  
Memory Devices ◽  
Front Side ◽  
Emission Analysis ◽  
Intensity Attenuation ◽  
Analysis Techniques ◽  
Defect Sites ◽  
Emission Microscopy ◽  
Microscopy Techniques

Abstract Both photo- and thermal emission analysis techniques are used from the backside of the die colocate defect sites. The technique is important in that process and package technologies have made front-side analysis difficult or impossible. Several test cases are documented. Intensity attenuation through the bulk of the silicon does not compromise the usefulness of the technique in most cases.

The Plot Twist in TV Serial Narratives

Projections ◽  
2020 ◽  
Vol 14 (1) ◽  
pp. 58-74
Author(s):  
Héctor J. Pérez
Keyword(s):  
Test Cases ◽  
Narrative Tradition ◽  
Unexplored Area ◽  
The Aesthetic ◽  
Viewing Experience ◽  
Game Of Thrones

AbstractThis article explores the use of the plot twist in screen fictions. This is a largely unexplored area, as interest in this phenomenon has largely focused on the so-called “plot twist movie,” which is an older narrative tradition. In order to explain this aesthetic phenomenon, it draws on the model of surprise originally proposed by the cognitive psychologists Wulf Meyer, Rainer Reisenzein, and Achim Schützwohl. Plot twists are characterized by three distinct but intimately intertwined temporal segments and their corresponding functions, which are explained by this model. The objective of this article is to explore how cognitive-emotional interactions shape the aesthetic viewing experience and to identify how that experience relates to shows’ artistic qualities. Game of Thrones (S01 and S03), Homeland (S01), and Westworld (S01) will be used as test cases. In each of the three plot segments, there are specific processes that distinguish the experience of surprise as an aesthetic phenomenon.

Sign in / Sign up

Export Citation Format

Share Document