Sciweavers

443 search results - page 3 / 89
» An improved slicer for Java
Sort
View
FAC
2008
100views more  FAC 2008»
13 years 7 months ago
Slicing communicating automata specifications: polynomial algorithms for model reduction
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
Sébastien Labbé, Jean-Pierre Gallois
IJACTAICIT
2010
155views more  IJACTAICIT 2010»
13 years 4 months ago
Constructive Dynamic Program Slicing Research
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
Jaakko Korpi, Jussi Koskinen
PLDI
2012
ACM
11 years 9 months ago
Sound and precise analysis of parallel programs through schedule specialization
Parallel programs are known to be difficult to analyze. A key reason is that they typically have an enormous number of execution interleavings, or schedules. Static analysis over...
Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfen...
CSMR
2002
IEEE
14 years 9 days ago
C to Java Migration Experiences
With the growing popularity of the Java programming language for both client and server side applications in network-centric computing, there is a rising need for programming libr...
Johannes Martin, Hausi A. Müller
CSMR
2010
IEEE
13 years 2 months ago
InCode: Continuous Quality Assessment and Improvement
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...
Radu Marinescu, George Ganea, Ioana Verebi