Registered user since Tue 27 Aug 2019
Name:Corina S. Pasareanu
Affiliation:Carnegie Mellon University Silicon Valley, NASA Ames Research Center
Personal website:https://www.cylab.cmu.edu/directory/bios/pasareanu-corina.html
Contributions
| ICSE 2020 | HyDiff: Hybrid Differential Software Analysis | ||||||||||||||||||||||||||||||||||||||||
| FormaliSE 2020 | On the Probabilistic Analysis of Neural Networks | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2020-profile
View general profile
View general profile