Erlang Code Evolution Control. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (LOPSTR, 2017)

Computing super reduced program slices by composing slicing techniques. - David Insa; Sergio Pérez 001; Josep Silva (SAC, 2017)

Enhancing POI Testing Through the Use of Additional Information. - Sergio Pérez 001; Salvador Tamarit (WFLP, 2018)

Runtime Verification in Erlang by Using Contracts. - Lars-Åke Fredlund; Julio Mariño; Sergio Pérez 001; Salvador Tamarit (WFLP, 2018)

Erlang Code Evolution Control (Use Cases). - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (CoRR, 2018)

Enhancing POI testing approach through the use of additional information. - Sergio Pérez 001; Salvador Tamarit (CoRR, 2018)

Behaviour Preservation across Code Versions in Erlang. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (Sci. Program., 2018)

Automatic Testing of Program Slicers. - Sergio Pérez 001; Josep Silva; Salvador Tamarit (Sci. Program., 2019)

Slicing Unconditional Jumps with Unnecessary Control Dependencies. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (LOPSTR, 2020)

Semiautomatic generation and assessment of Java exercises in engineering education. - David Insa; Sergio Pérez 001; Josep Silva; Salvador Tamarit (Comput. Appl. Eng. Educ., 2021)

Executable contracts for Elixir. - Sergio Pérez 001; Luis Eduardo Bueso de Barrio; Ignacio Ballesteros; Ángel Herranz; Julio Mariño; Clara Benac Earle; Lars-Åke Fredlund (Erlang Workshop, 2022)

Program Slicing Techniques with Support for Unconditional Jumps. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (ICFEM, 2022)

A Program Slicer for Java (Tool Paper). - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (SEFM, 2022)

Slicing Petri Nets to Reduce Their Complexity - Abstract. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (ATAED/PN4TT@Petri Nets, 2023)

Context-sensitive analysis of data interference for concurrent programs. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (PNSE@Petri Nets, 2023)

Slicing Shared-Memory Concurrent Programs The Threaded System Dependence Graph Revisited. - Carlos Galindo 002; Marisa Llorens; Sergio Pérez 001; Josep Silva (ICSME, 2023)

Program slicing of Java programs. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (J. Log. Algebraic Methods Program., 2023)

Exception-sensitive program slicing. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (J. Log. Algebraic Methods Program., 2023)

Field-sensitive program slicing. - Carlos Galindo 002; Jens Krinke; Sergio Pérez 001; Josep Silva (J. Syst. Softw., 2024)

The expression dependence graph. - Carlos Galindo 002; Sergio Pérez 001; Josep Silva (J. Log. Algebraic Methods Program., 2025)