Sergio Pérez

23 papers A 1B 2C 3Misc 1Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
The expression dependence graph.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2024 J jnl
Field-sensitive program slicing.
J. Syst. Softw.
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
2023 — conf
Context-sensitive analysis of data interference for concurrent programs.
PNSE@Petri Nets
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2023 J jnl
Exception-sensitive program slicing.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2023 J jnl
Program slicing of Java programs.
J. Log. Algebraic Methods Program.
Carlos Galindo, Sergio Pérez, Josep Silva
2023 — conf
Slicing Petri Nets to Reduce Their Complexity - Abstract.
ATAED/PN4TT@Petri Nets
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2023 A conf
Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited.
ICSME
Carlos Galindo, Marisa Llorens, Sergio Pérez, Josep Silva
2022 B conf
A Program Slicer for Java (Tool Paper).
SEFM
Carlos Galindo, Sergio Pérez, Josep Silva
2022 — conf
Executable contracts for Elixir.
Erlang Workshop
Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
2022 B conf
Field-Sensitive Program Slicing.
SEFM
Carlos Galindo, Jens Krinke, Sergio Pérez, Josep Silva
2022 C conf
Program Slicing Techniques with Support for Unconditional Jumps.
ICFEM
Carlos Galindo, Sergio Pérez, Josep Silva
2021 J jnl
Semiautomatic generation and assessment of Java exercises in engineering education.
Comput. Appl. Eng. Educ.
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2020 C conf
Slicing Unconditional Jumps with Unnecessary Control Dependencies.
LOPSTR
Carlos Galindo, Sergio Pérez, Josep Silva
2019 J jnl
Automatic Testing of Program Slicers.
Sci. Program.
Sergio Pérez, Josep Silva, Salvador Tamarit
2018 J jnl
Behaviour Preservation across Code Versions in Erlang.
Sci. Program.
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2018 — conf
Enhancing POI Testing Through the Use of Additional Information.
WFLP
Sergio Pérez, Salvador Tamarit
2018 J jnl
Enhancing POI testing approach through the use of additional information.
CoRR
Sergio Pérez, Salvador Tamarit
2018 J jnl
Erlang Code Evolution Control (Use Cases).
CoRR
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2018 — conf
Runtime Verification in Erlang by Using Contracts.
WFLP
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
2018 J jnl
Runtime verification in Erlang by using contracts.
CoRR
Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
2017 Misc conf
Computing super reduced program slices by composing slicing techniques.
SAC
David Insa, Sergio Pérez, Josep Silva
2017 C conf
Erlang Code Evolution Control.
LOPSTR
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
2017 J jnl
Erlang Code Evolution Control.
CoRR
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit