Sergio Pérez

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 22

Top Topics

Program Slicing

Attribute Grammars

Top Venues

J. Log. Algebraic Methods Program.

Publications

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