Sergio Pérez

According to our database, Sergio Pérez authored at least 20 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

The expression dependence graph.

Carlos Galindo, Sergio Pérez, Josep Silva

J. Log. Algebraic Methods Program., 2025

2024

Field-sensitive program slicing.

Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva

J. Syst. Softw., April, 2024

2023

Exception-sensitive program slicing.

Carlos Galindo, Sergio Pérez, Josep Silva

J. Log. Algebraic Methods Program., 2023

Program slicing of Java programs.

Carlos Galindo, Sergio Pérez, Josep Silva

J. Log. Algebraic Methods Program., 2023

Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

Context-sensitive analysis of data interference for concurrent programs.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), 2023

Slicing Petri Nets to Reduce Their Complexity - Abstract.

Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva

Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023

2022

A Program Slicer for Java (Tool Paper).

Carlos Galindo, Sergio Pérez, Josep Silva

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Program Slicing Techniques with Support for Unconditional Jumps.

Carlos Galindo, Sergio Pérez, Josep Silva

Proceedings of the Formal Methods and Software Engineering, 2022

Executable contracts for Elixir.

Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund

Proceedings of the Erlang '22: 21st ACM SIGPLAN International Workshop on Erlang, 2022

2021

Semiautomatic generation and assessment of Java exercises in engineering education.

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

Comput. Appl. Eng. Educ., 2021

2020

Slicing Unconditional Jumps with Unnecessary Control Dependencies.

Carlos Galindo, Sergio Pérez, Josep Silva

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Automatic Testing of Program Slicers.

Sergio Pérez, Josep Silva, Salvador Tamarit

Sci. Program., 2019

2018

Behaviour Preservation across Code Versions in Erlang.

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

Sci. Program., 2018

Enhancing POI testing approach through the use of additional information.

Sergio Pérez, Salvador Tamarit

CoRR, 2018

Erlang Code Evolution Control (Use Cases).

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

CoRR, 2018

Runtime Verification in Erlang by Using Contracts.

Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit

Proceedings of the Functional and Constraint Logic Programming, 2018

Enhancing POI Testing Through the Use of Additional Information.

Sergio Pérez, Salvador Tamarit

Proceedings of the Functional and Constraint Logic Programming, 2018

2017

Computing super reduced program slices by composing slicing techniques.

David Insa, Sergio Pérez, Josep Silva

Proceedings of the Symposium on Applied Computing, 2017

Erlang Code Evolution Control.

David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017