Collaborated with:Robbert Gurdeep Singh S.Marr E.G.Boix C.Scholliers
Talks about:determinist (2) debug (2) non (2) multivers (1) program (1) paper (1) brave (1) idea (1) new (1)
Person: Carmen Torres Lopez
DBLP: Lopez:Carmen_Torres
Contributed to:
2019Wrote 1 papers:
- ECOOP-2019-LopezSMBS #debugging #idea #multi #nondeterminism #source code
- Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) (CTL, RGS, SM, EGB, CS), p. 30.