Registered user since Thu 6 Jan 2022
Name:Juan Manuel Copia
Bio:
PhD Student at IMDEA Software Institute
Country:Spain
Affiliation:IMDEA Software Institute; Universidad Politécnica de Madrid
Research interests:Symbolic execution, Software testing
Contributions
| ASE 2022 | LISSA: Lazy Initialization with Specialized Solver Aid LISSA: Lazy Initialization with Specialized Solver Aid | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2022-profile
View general profile
View general profile