Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "Galindo Jiménez, Carlos Santiago"

Mostrando ítems 1-9 de 9

Automatic generation of test cases to improve code coverage in Java

Galindo Jiménez, Carlos Santiago (Universitat Politècnica de València, 2019-01-10)

[EN] Given a test case and a program, there exist multiple tools that observe and analyze the execution of the program, determine which sentences have been executed and follow the value of the different variables. This ...
Data Dependence for Object-Oriented Programs

Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep (ACM, 2020-11-19)

[EN] The System Dependence Graph (SDG) is a program representation used in several static analyses. In particular, it is the basis of program slicing, a technique that extracts the part of the program that may directly or ...
Exception-sensitive program slicing

Galindo, Carlos; Pérez, Sergio; Silva, Josep (Elsevier, 2023-01)

[EN] Program slicing is a technique for program analysis and transformation with many different applications such as program debugging, program specialisation, and parallelisation. The system dependence graph (SDG), the ...
Fragmentación de programas con excepciones

Galindo Jiménez, Carlos Santiago (Universitat Politècnica de València, 2020-02-12)

[ES] La fragmentación de programas es una técnica de análisis de programas que puede ser aplicada prácticamente a todos los lenguajes de programación. Sin embargo, en presencia de excepciones, los fragmentadores de programas ...
Program slicing of Java programs

Galindo, Carlos; Pérez, Sergio; Silva, Josep (Elsevier, 2023-01)

[EN] Program slicing is a technique to extract the part of the program that can affect the values computed at a given program point (known as the slicing criterion). To represent programs, program slicing uses the System ...
Program slicing with exception handling

Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep (ACM, 2020-11-19)

[EN] Program slicing is a technique for program analysis and transformation with many different applications such as program debugging, program specialization, and parallelization. The system dependence graph (SDG) is the ...
ReverCSP: Time-Travelling in CSP Computations

Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador (Springer, 2020-07-10)

[EN] This paper presents reverCSP, a tool to animate both forward and backward CSP computations. This ability to reverse computations can be done step by step or backtracking to a given desired state of interest. reverCSP ...
Reversible CSP Computations

Galindo-Jiménez, Carlos Santiago; Nishida, Naoki; Silva, Josep; Tamarit, Salvador (Institute of Electrical and Electronics Engineers, 2021-06-01)

[EN] Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers to backtrack the execution to a previous state. This is essential if the computation is not deterministic ...
Slicing unconditional jumps with unnecessary control dependencies

Galindo-Jiménez, Carlos Santiago; Pérez-Rubio, Sergio; Silva, Josep (Springer-Verlag, 2021-02-13)

[EN] Program slicing is an analysis technique that has a wide range of applications, ranging from compilers to clone detection software, and that has been applied to practically all programming languages. Most program ...