An efficient interprocedural dynamic slicing method

2006 ◽  
Vol 79 (6) ◽  
pp. 791-806 ◽  
Author(s):  
G.B. Mund ◽  
Rajib Mall
2017 ◽  
Vol 115 ◽  
pp. 40-54
Author(s):  
Yingzhou Zhang

2012 ◽  
Vol 2012 ◽  
pp. 1-18 ◽  
Author(s):  
Birgit Hofer ◽  
Franz Wotawa

Although slices provide a good basis for analyzing programs during debugging, they lack in their capabilities providing precise information regarding the most likely root causes of faults. Hence, a lot of work is left to the programmer during fault localization. In this paper, we present an approach that combines an advanced dynamic slicing method with constraint solving in order to reduce the number of delivered fault candidates. The approach is called Constraints Based Slicing (CONBAS). The idea behind CONBAS is to convert an execution trace of a failing test case into its constraint representation and to check if it is possible to find values for all variables in the execution trace so that there is no contradiction with the test case. For doing so, we make use of the correctness and incorrectness assumptions behind a diagnosis, the given failing test case. Beside the theoretical foundations and the algorithm, we present empirical results and discuss future research. The obtained empirical results indicate an improvement of about 28% for the single fault and 50% for the double-fault case compared to dynamic slicing approaches.


2020 ◽  
Vol 2020 (12) ◽  
Author(s):  
Gino Isidori ◽  
Saad Nabeebaccus ◽  
Roman Zwicky

Abstract We present a detailed analysis of QED corrections to $$ \overline{B}\to \overline{K}{\mathrm{\ell}}^{+}{\mathrm{\ell}}^{-} $$ B ¯ → K ¯ ℓ + ℓ − decays at the double-differential level. Cancellations of soft and collinear divergences are demonstrated analytically using the phase space slicing method. Whereas soft divergences are found to cancel at the differential level, the cancellation of the hard-collinear logs ln mℓ require, besides photon-inclusiveness, a specific choice of kinematic variables. In particular, hard-collinear logs in the lepton-pair invariant mass distribution (q2), are sizeable and need to be treated with care when comparing with experiment. Virtual and real amplitudes are evaluated using an effective mesonic Lagrangian. Crucially, we show that going beyond this approximation does not introduce any further infrared sensitive terms. All analytic computations are performed for generic charges and are therefore adaptable to semileptonic decays such as $$ \overline{B}\to D\mathrm{\ell}\overline{\nu } $$ B ¯ → D ℓ ν ¯ .


2012 ◽  
Vol 523-524 ◽  
pp. 287-292 ◽  
Author(s):  
Yasuhiro Okamoto ◽  
Yasuaki Kimura ◽  
Akira Okada ◽  
Yoshiyuki Uno ◽  
Jun Ohya ◽  
...  

Brittle materials, such as silicon, silicon carbide and sapphire have been conventionally sliced for wafers by a multi-wire saw method with slurry in industrial fields. Recently, the multi-wire saw method with a fixed diamond abrasive wire has been available as a commercial product at acceptable cost, and the high slicing performance is expected compared with the normal multi-wire saw method with slurry. However, there still remain some problems such as bad working environment with abrasives, cleaning cost of sliced wafers, crack generation on the sliced surface and a large kerf loss against a wafer thickness. On the other hand, the developed multi-wire EDM slicing method would accomplish the high performance slicing of silicon and silicon carbide with a narrow kerf width under a clean process environment. However, the thinner wire is challenging process with a normal round shape wire electrode. Therefore, the new wire electrode with track-shaped section was proposed in order to satisfy both the narrow kerf width and the high wire tension even in the case of thin wire electrode. In this study, the running control of wire electrode with a track-shaped section was experimentally investigated, and the possibility of proposed process was discussed.


IET Software ◽  
2010 ◽  
Vol 4 (1) ◽  
pp. 55 ◽  
Author(s):  
J.T. Lallchandani ◽  
R. Mall
Keyword(s):  

2014 ◽  
Vol 23 (3) ◽  
pp. 1-50 ◽  
Author(s):  
Guoqing Xu ◽  
Nick Mitchell ◽  
Matthew Arnold ◽  
Atanas Rountev ◽  
Edith Schonberg ◽  
...  
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document