[IEEE 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Zaragoza, Spain (2019.9.10-2019.9.13)] 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Handling Backtracking for Symbolic Testing of Embedded Software
Suresh, Varsha P, Chakrabarti, Sujit Kumar, Jetley, Raoul, Mohan, DevinaYear:
2019
DOI:
10.1109/etfa.2019.8869097
File:
PDF, 227 KB
2019