Specification-based program slicing and its applications

Lee, Wan Kwon; Chung, In Sang; Yoon, Gwang Sik; Kwon, Yong Rae

doi:10.1016/s1383-7621(01)00003-0

Cited by 7 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are two versions: with and without slices. Slices conform the original definition by (Weiser 1981), although we are using them from a different perspective (Lee et al 2001). MR and BSK problems are not at all challenging for professional programmers and should be doable for undergraduate and postgraduate students.…”

Section: Experimental Problemsmentioning

confidence: 95%

Empirical evaluation of the effects of experience on code quality and programmer productivity: an exploratory study

et al. 2017

View full text Add to dashboard Cite

Context There is a widespread belief in both SE and other branches of science that experience helps professionals to improve their performance. However, cases have been reported where experience not only does not have a positive influence but sometimes even degrades the performance of professionals. Aim Determine whether years of experience influence programmer performance. Method We have analysed 10 quasi-experiments executed both in academia with graduate and postgraduate students and in industry with professionals. The experimental task was to apply ITLD on two experimental problems and then measure external code quality and programmer productivity. Results Programming experience gained in industry does not appear to have any effect whatsoever on quality and productivity. Overall programming experience gained in academia does tend to have a positive influence on programmer performance. These two findings may be related to the fact that, as opposed to deliberate practice, routine practice does not appear to lead to improved performance. Experience in the use of productivity tools, such as testing frameworks and IDE also has positive effects. Conclusion Years of experience are a poor predictor of programmer performance. Academic background and specialized knowledge of task-related aspects appear to be rather good predictors.

show abstract

Section: Experimental Problemsmentioning

confidence: 95%

Empirical evaluation of the effects of experience on code quality and programmer productivity: an exploratory study

et al. 2017

View full text Add to dashboard Cite

show abstract

CONSIT: a fully automated conditioned program slicer

et al. 2003

View full text Add to dashboard Cite

Conditioned slicing is a source code extraction technique. The extraction is performed with respect to a slicing criterion which contains a set of variables and conditions of interest. Conditioned slicing removes the parts of the original program which cannot affect the variables at the point of interest, when the conditions are satisfied. This produces a conditioned slice, which preserves the behaviour of the original with respect to the slicing criterion. Conditioned slicing has applications in source code comprehension, reuse, restructuring and testing. Unfortunately, implementation is not straightforward because the full exploitation of conditions requires the combination of symbolic execution, theorem proving and traditional static slicing. Hitherto, this difficultly has hindered development of fully automated conditioning slicing tools. This paper describes the first fully automated conditioned slicing system, CONSIT, detailing the theory that underlies it, its architecture and the way it combines symbolic execution, theorem proving and slicing technologies. The use of CONSIT is illustrated with respect to the applications of testing and comprehension. Copyright © 2003 John Wiley & Sons, Ltd.

show abstract