[IEEE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - San Diego, CA, USA (2019.11.11-2019.11.15)] 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) - VeriAbs : Verification by Abstraction and Test Generation
Afzal, Mohammad, Asia, A., Chauhan, Avriti, Chimdyalwar, Bharti, Darke, Priyanka, Datar, Advaita, Kumar, Shrawan, Venkatesh, R.Year:
2019
DOI:
10.1109/ASE.2019.00121
File:
PDF, 174 KB
2019