Computer science/Programming languages/Static analysis
Subject Classification
ACM: Software and its engineering~Automated static analysis
2024
2021
2016
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths
by Romain Aissat, Frederic Voisin and Burkhart Wolff
2015
2011
2010
2009
Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer
by Daniel Wasserrab
2008
2007
Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors
by Peter Lammich and Markus Müller-Olm